|
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
|
|
38
|
Offline specialisation in Prolog using a hand-written compiler generator
– Michael Leuschel, Jesper Jørgensen
- 2004
|
|
46
|
Logic program specialisation through partial deduction: Control issues
– Michael Leuschel, Maurice Bruynooghe
- 2002
|
|
5
|
Partial Deduction System
– Michael Leuschel
- 1997
|
|
26
|
Conjunctive Partial Deduction in Practice
– Jesper Jørgensen, Michael Leuschel, Bern Martens
- 1996
|
|
2
|
Making a Success out of Early Failures
– Abhik Roychoudhury, C. R. Ramakrishnan, I.V. Ramakrishnan, R. C. Sekar
- 1997
|
|
7
|
Enhancing Partial Deduction via Unfold/Fold Rules
– Alberto Pettorossi, Maurizio Proietti, Sophie Renault
- 1996
|
|
7
|
Logic Programming for the Real World
– Zoltan Somogyi, Fergus Henderson, Thomas Conway, Richard O'Keefe
- 1995
|
|
6
|
Sonic partial deduction
– Jonathan Martin, Michael Leuschel
- 1998
|
|
175
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Zoltan Somogyi, Fergus Henderson, Thomas Conway
- 1996
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
12
|
Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (Extended Abstract)
– G. Puebla, John Gallagher, Manuel Hermenegildo
- 1997
|
|
|
Type-based Homeomorphic Embedding for Online Termination
– Elvira Albert, John Gallagher
|
|
16
|
Logic program specialisation
– Michael Leuschel
- 1999
|
|
33
|
Logic Program Specialisation: How To Be More Specific
– Michael Leuschel, Danny De Schreye
- 1996
|
|
4
|
Attribute Grammars and Functional Programming Deforestation
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also
- 1997
|
|
4
|
Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
– Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser
- 2003
|
|
3
|
How to Deforest in Accumulative Parameters?
– Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel
- 1999
|
|
7
|
Symbolic Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
