Meta-programming in logic programming

Author(s)

• Abramson, Harvey
• Rogers, M. H.

Bibliographic Information

Meta-programming in logic programming

edited by Harvey Abramson and M.H. Rogers

（Logic programming）

MIT Press, c1989

Other Title

Title: Meta-programming

Description and Table of Contents

Description

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.

by "Nielsen BookData"

Details

• NCID: BA07716547
• ISBN:
  • 0262510472
• LCCN: 89035120
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: 544 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 006.3
• Subject Headings:
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA07047811