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