Items related to Meta Programming in Logic Programming

Meta Programming in Logic Programming - Softcover

Abramson, H

 
9780262510479: Meta Programming in Logic Programming
Softcover
ISBN 10: 0262510472 ISBN 13: 9780262510479
Publisher: MIT Press, 1990

Synopsis

A comprehensive survey of the theory and applications 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.

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.

Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

"synopsis" may belong to another edition of this title.

About the Authors

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.

"About this title" may belong to another edition of this title.

Publisher
MIT Press
Publication date
1990
Language
English
ISBN 10 
0262510472
ISBN 13 
9780262510479
Binding
Paperback
Number of pages
560