1. META 1988:
Bristol,
U.K.
Harvey Abramson,
M. H. Rogers (Eds):
Meta-Programming in Logic Programming,
Workshop on Meta-Programming in Logic,
University of Bristol,
22-24 June,
1988. The MIT Press,
1989,
ISBN 0-262-51047-2
- Lynette Hirschman:
A Meta-Rule Treatment for Englich Wh-Constructions.
1-21
- Patricia M. Hill, John W. Lloyd:
Analysis of Meta-Programs.
23-51
- Howard A. Blair:
Metalogic Programming and Direct Universal Computability.
53-63
- V. S. Subrahmanian:
A Simple Formulation of the Theory of Metalogic Programming.
65-101
- Frank van Harmelen:
A Classification of Meta-level Architectures.
103-122
- Fausto Giunchiglia, Alan Smaill:
Reflection in Constructive and Non-constructive Automated Reasoning.
123-140
- Verónica Dahl, Pierre Massicotte:
Processing Techniques for Dsicontinuous Grammars.
141-156
- Seiki Akama, Akira Ishikawa:
Semantically Constrained Parsing and Logic Programming.
157-168
- Albert Bruffaerts, Eric Henin:
Negation as Failure: Proofs, Inference Rules and Meta-Interpreters.
169-190
- L. Ümit Yalçinalp, Leon Sterling:
An Integrated Interpreter for Explaining Prolog's Successes and Failures.
191-203
- Andrew Bowles, Paul Wilk:
Tracing Requirements for Multi-Layered Meta-Programming.
205-215
- Danny De Schreye, Maurice Bruynooghe:
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.
217-231
- Michael Codish, John P. Gallagher, Ehud Y. Shapiro:
Using Safe Approximations of Fixed Points for Analysis of Logic Programs.
233-261
- Thom W. Frühwirth:
Type Inference by Program Transformation and Partial Evaluation.
263-282
- Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper:
Complete Sets of Frontiers in Logic-Based Program Transformation.
283-297
- David Chan, Mark Wallace:
A Treatment of Negation during Partial Evaluation.
299-317
- Stephen Owen:
Issues in the Partial Evaluation of Meta-Interpreters.
319-339
- Brian J. Ross:
The Partial Evaluation of Imperative Programs Using Prolog.
341-363
- Paul Tarau, Michel Boyer:
Prolog Meta-Programming with Soft Databases.
365-381
- Jonas Barklund:
What Is a Meta-Variable in Prolog?
383-398
- Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali:
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.
399-415
- Ilyas Cicekli:
Design and Implementation of An Abstract MetaProlog Engine for MetaProlog.
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.
435-452
- John Hannan, Dale Miller:
A Meta-Logic for Functional Programming.
453-476
- Yue Jun Jiang, Nader Azarmi:
Meta Logic Programming for Epistemic Notions.
477-499
- Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski:
Algorithmic Debugging with Assertions.
501-521
- Paul J. Voda:
The Logical Reconstruction of Cuts as One Solution Operators.
523-530
- Francesca Rossi, Ugo Montanari:
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
531-544
Copyright © Mon Nov 2 20:58:02 2009
by Michael Ley (ley@uni-trier.de)
