Meta-programming in logic programming

著者

• Abramson, Harvey
• Rogers, M. H.

書誌事項

Meta-programming in logic programming

edited by Harvey Abramson and M.H. Rogers

（Logic programming）

MIT Press, c1989

タイトル別名

Title: Meta-programming

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA07716547
• ISBN:
  • 0262510472
• LCCN: 89035120
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: 544 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 006.3
• 件名:
  • LCSH : Logic programming
• 親書誌ID:
  • BA07047811