Artículos relacionados a Meta-Programming in Logic Programming

Meta-Programming in Logic Programming - Tapa blanda

 
9780262510479: Meta-Programming in Logic Programming

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca de los autores

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.

"Sobre este título" puede pertenecer a otra edición de este libro.