募捐 9月15日2024 – 10月1日2024 关于筹款

Meta-programming in logic programming

Meta-programming in logic programming

Harvey Abramson, M H. Rogers (ed.)
你有多喜欢这本书?
下载文件的质量如何?
下载该书,以评价其质量
下载文件的质量如何?

Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

年:
1989
出版社:
The MIT Press
语言:
english
页:
561
ISBN 10:
0262510472
ISBN 13:
9780262510479
文件:
DJVU, 4.69 MB
IPFS:
CID , CID Blake2b
english, 1989
线上阅读
正在转换
转换为 失败

关键词