Books
Books : reviews
Harvey Abramson, M. H. Rogers, eds.
Meta-Programming in Logic Programming.
MIT Press. 1989
(read but not reviewed)
Contents
- Lynette Hirschman. A meta-rule treatment for English Wh-constructions. 1989
- P. M. Hill, J. W. Lloyd. Analysis of meta-programs. 1989
- Howard A. Blair. Metalogic programming and direct universal computability. 1989
- V. S. Subramanian. A simple formulation of the theory of metalogic programming. 1989
- Frank van Harmelen. A classification of meta-level architechures. 1989
- Fausto Giunchiglia, Alan Smaill. Reflection in constructive and non-constructive automated reasoning. 1989
- Veronica Dahl, Pierre Massicotte. Processing techniques for discontinuous grammars. 1989
- Seiki Akama, Akira Ishikawa. Semantically constrained parsing and logic programming. 1989
- Albert Bruffaerts, Eric Henin. Negation as Failure: proofs, inference rules and meta-interpreters. 1989
- L. Umit Yalcinalp, Leon S. Sterling. An integrated inteerpreter for explaiing Prolog's Successes and failures. 1989
- Andrew Bowles, Paul Wilk. Tracing requirements for multi-layered meta-programming. 1989
- Danny De Schreye, Maurice Bruynooghe. The compilation of forward checking regimes through meta-interpretation and transformation. 1989
- Michael Codish, John Gallagher, Ehud Shapiro. Using safe approximations of fixed points for analysis of logic programs. 1989
- Thom W. Fruhwirth. Type inference by program transformation and partial evaluation. 1989
- Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper. Complete sets of frontiers in logic-based program transformation. 1989
- David Chan, Mark Wallace. A treatment of negation during partial evaluation. 1989
- Stephen Owen. Issues in the partial evaluation of meta-interpreters. 1989
- Brian J. Ross. The partial evaluation of imperative programs using Prolog. 1989
- Paul Tarau, Michel Boyer. Prolog meta-programming with soft databases. 1989
- Jona Barklund. What is a meta-variable in Prolog?. 1989
- Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali. Meta-programming in Prolog through direct introspection: a comparison with meta-interpretation techniques. 1989
- Ilyas Cicekli. Design and implementation of an abstract MetaProlog engine for MetaProlog. 1989
- J. Staples, P. J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis. Qu-Prolog: an extended Prolog for meta level programming. 1989
- John Hannan, Dale Miller. A meta-logic for functional programming. 1989
- Yue Jun Jiang, Nader Azarmi. Meta logic programming for epistemic notions. 1989
- Wlodek Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. Algorithmic debugging with assertions. 1989
- Paul J. Voda. The logical reconstruction of cuts as one solution operators. 1989
- Francesca Rossi, Ugo Montanari. Hypergraph grammars and networks of constraints versus logic programming and metaprogramming. 1989