Meta-Programming in Logic Programming
Favorite Add to Favorites

From Logic Programming

Meta-Programming in Logic Programming

Edited by Harvey Abramson and M H. Rogers

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.

Overview

Author(s)

Summary

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.

Paperback

$62.00 X | £48.00 ISBN: 9780262510479 560 pp. | 10 in x 7 in

Editors

Harvey Abramson

Harvey Abramson is Reader in Computer Science at the University of Bristol, England.

M H. Rogers

M. H. Rogers is Professor of Computer Science, also at the University of Bristol.