Meta-Programming in Logic Programming

560 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Informatik
• ISBN: 9780262510479
• Sprache: Englisch
• Erscheinungsdatum: 04.10.1989
• Größe: 254 x 178 mm
• Verlag: MIT Press
• Herausgegeben von: Harvey Abramson, M H. Rogers