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