1. META 1988: Bristol, U.K.
- Fausto Giunchiglia, Alan Smaill:
Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140 - Verónica Dahl, Pierre Massicotte:
Processing Techniques for Dsicontinuous Grammars. META 1988: 141-156 - Seiki Akama, Akira Ishikawa:
Semantically Constrained Parsing and Logic Programming. META 1988: 157-168 - Albert Bruffaerts, Eric Henin:
Negation as Failure: Proofs, Inference Rules and Meta-Interpreters. META 1988: 169-190 - L. Ümit Yalçinalp, Leon Sterling:
An Integrated Interpreter for Explaining Prolog's Successes and Failures. META 1988: 191-203 - Andrew Bowles, Paul Wilk:
Tracing Requirements for Multi-Layered Meta-Programming. META 1988: 205-215 - Danny De Schreye, Maurice Bruynooghe:
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. META 1988: 217-231 - Michael Codish, John P. Gallagher, Ehud Shapiro:
Using Safe Approximations of Fixed Points for Analysis of Logic Programs. META 1988: 233-261 - Thom W. Frühwirth:
Type Inference by Program Transformation and Partial Evaluation. META 1988: 263-282 - Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper:
Complete Sets of Frontiers in Logic-Based Program Transformation. META 1988: 283-297 - Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali:
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META 1988: 399-415 - Ilyas Cicekli:
Design and Implementation of An Abstract MetaProlog Engine for MetaProlog. META 1988: 417-433 - John Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis:
Qu-Prolog: An Extended Prolog for Meta Level Programming. META 1988: 435-452 - Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski:
Algorithmic Debugging with Assertions. META 1988: 501-521 - Francesca Rossi, Ugo Montanari:
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. META 1988: 531-544