Meta-Programming in Logic Programming (1994)

Cached

Download Links

by P.M. Hill , J.G. Gallagher , P. M. Hill , J. Gallagher
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming
Citations:46 - 3 self

Active Bibliography

1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 1996
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
17 Metaprogramming in Logic – Jonas Barklund, Computer Science, Edited Allen Kent - 1994
42 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
115 S-Semantics Approach: Theory and Applications – A. Bossi, M. Gabbrielli, G. Levi, M. Martelli - 1994
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
ET EVALUATION PARTIELLE EN PROLOG presente par – Francois-nicola Demers, Francois-nicola Demers, Rachida Dssouli, Jacques Malenfant, Michel Boyer
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
9 Replacement Can Preserve Termination – Annalisa Bossi, Nicoletta Cocco
10 Reflection Principles in Computational Logic – Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano A. Lanzarone - 1997
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
1 A Program Specialiser for Meta-level Compositions of Logic Programs – Antonio Brogi, Simone Contiero - 1996
1 A Logic-Based Calculus of Fluents – S. Brandano, Sergio Brandano, Sergio Brandano - 1998
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
4 Meta-Programming in CLP(R) – Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap - 1994