Meta-programming in logic programming

by Abramson, Harvey Rogers, M. H.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Meta-programming in logic programming / edited by Harvey Abramson and M.H. Rogers.

Edition Statements

Publication Date:©1989.

Publication Statements

Publisher(s):MIT Press
Place of Publication:Cambridge, Mass
Language:eng
Publication Date:©1989.

Notes

Contains papers presented at META88, a workshop held at the University of Bristol, June 22-24, 1988.

The Physical Object

Description:544 pages : : illustrations ; : 23 cm.

Edition Identifiers

ISBN:0262510472, 9780262510479
oclc:ocm19975762
LC Classification:QA76.63
Dewey Decimal:006.3

A meta-rule treatment for English wh-constructions / L. Hirschman -- Analysis of meta-programs / P.M. Hill and J.W. Lloyd -- Metalogic programming and direct universal computability / H.A. Blair -- A simple formulation of the theory of metalogic programming / V.S. Subrahmanian -- A classification of meta-level architectures / F. van Harmelen -- Reflection in constructive and non-constructive automated reasoning / F. Giunchiglia and Alan Smaill -- Processing techniques for discontinuous grammars / V. Dahl and P. Massicote -- Semantically constrained parsing and logic programming / S. Akama and A. Ishikawa -- Negation as failure : proofs, inference rules and meta-interpreters / A. Bruffaerts and E. Henin -- An integrated interpreter for explaining Prolog's successes and failures / L.U. Yalçinalp and L. Sterling.

Tracing requirements for multi-layered meta-programming / A. Bowles and P. Wilk -- The compilation of forward checking regimes through meta-interpretation and transformation / D. De Schreye and M. Bruynooghe -- Using safe approximations of fixed points for analysis of logic programs / J. Gallagher, Michael Codish, and E.Y. Shapiro -- Type inference by program transformation…