|
1
|
Advanced techniques in finite unfolding
– Bernhard Martens, Daniel De Schreye
|
|
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
|
|
36
|
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
|
|
110
|
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
|
|
46
|
Logic program specialisation through partial deduction: Control issues
– Michael Leuschel, Maurice Bruynooghe
- 2002
|
|
68
|
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
|
|
8
|
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
|
|
38
|
Offline specialisation in Prolog using a hand-written compiler generator
– Michael Leuschel, Jesper Jørgensen
- 2004
|
|
202
|
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
|
|
2
|
Specialization of Functional Logic Programs
– María Alpuente, Moreno Falaschi, Germán Vidal
|
|
1
|
On Termination of Meta-Programs
– Alexander Serebrenik, Danny De Schreye
- 2001
|
