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