|
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
|
|
2
|
Specialization of Functional Logic Programs
– María Alpuente, Moreno Falaschi, Germán Vidal
|
|
3
|
Controlling Conjunctive Partial Deduction
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen
- 1996
|
|
38
|
Offline specialisation in Prolog using a hand-written compiler generator
– Michael Leuschel, Jesper Jørgensen
- 2004
|
|
5
|
Partial Deduction System
– Michael Leuschel
- 1997
|
|
16
|
Logic program specialisation
– Michael Leuschel
- 1999
|
|
26
|
Conjunctive Partial Deduction in Practice
– Jesper Jørgensen, Michael Leuschel, Bern Martens
- 1996
|
|
46
|
Logic program specialisation through partial deduction: Control issues
– Michael Leuschel, Maurice Bruynooghe
- 2002
|
|
18
|
Improving Control in Functional Logic Program Specialization
– E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
- 1998
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
32
|
Controlling Conjunctive Partial Deduction of Definite Logic Programs
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen
- 1996
|
|
21
|
Constrained Partial Deduction and the Preservation of Characteristic Trees
– Michael Leuschel, Danny De Schreye
- 1997
|
|
36
|
Specialization of Lazy Functional Logic Programs
– Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal
- 1997
|
|
6
|
Sonic partial deduction
– Jonathan Martin, Michael Leuschel
- 1998
|
|
33
|
Logic Program Specialisation: How To Be More Specific
– Michael Leuschel, Danny De Schreye
- 1996
|
|
57
|
Homeomorphic Embedding for Online Termination
– Michael Leuschel
- 1998
|
|
2
|
Extending Homeomorphic Embedding in the Context of Logic Programming
– Michael Leuschel
- 1997
|
|
3
|
Constrained partial deduction
– Michael Leuschel, Danny De Schreye
- 1997
|
|
7
|
Bottom Up Information Propagation for Partial Deduction (Extended Abstract)
– Wim Vanhoof
- 1997
|
