Meta-Programming in Logic Programming

Abramson, H

ISBN 10: 0262510472 / ISBN 13: 9780262510479

Published by The MIT Press, 1989

About this Item

560 pages. 9.80x6.80x0.80 inches. In Stock.

Seller Inventory # x-0262510472

Bibliographic Details

• Title: Meta-Programming in Logic Programming
• Publisher: The MIT Press
• Publication Date: 1989
• Language: English
• ISBN 10: 0262510472
• ISBN 13: 9780262510479
• Binding: Paperback
• Condition: Brand New
• Weight: 0.98 kilograms

About this title

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.

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.