|
2
|
Specialization of Functional Logic Programs
– María Alpuente, Moreno Falaschi, Germán Vidal
|
|
57
|
Homeomorphic Embedding for Online Termination
– Michael Leuschel
- 1998
|
|
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
|
|
5
|
Partial Deduction System
– Michael Leuschel
- 1997
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
21
|
Constrained Partial Deduction and the Preservation of Characteristic Trees
– Michael Leuschel, Danny De Schreye
- 1997
|
|
25
|
Homeomorphic embedding for online termination of symbolic methods
– Michael Leuschel
- 2002
|
|
2
|
Extending Homeomorphic Embedding in the Context of Logic Programming
– Michael Leuschel
- 1997
|
|
3
|
Constrained partial deduction
– Michael Leuschel, Danny De Schreye
- 1997
|
|
3
|
Controlling Conjunctive Partial Deduction
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen
- 1996
|
|
32
|
Controlling Conjunctive Partial Deduction of Definite Logic Programs
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen
- 1996
|
|
3
|
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs
– Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
- 2002
|
|
33
|
A Roadmap to Metacomputation by Supercompilation
– Robert Glück, Morten Heine Sørensen
- 1996
|
|
26
|
Conjunctive Partial Deduction in Practice
– Jesper Jørgensen, Michael Leuschel, Bern Martens
- 1996
|
|
38
|
Offline specialisation in Prolog using a hand-written compiler generator
– Michael Leuschel, Jesper Jørgensen
- 2004
|
|
59
|
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
– Bern Martens, John Gallagher
- 1995
|
|
18
|
Improving Control in Functional Logic Program Specialization
– E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
- 1998
|
|
77
|
Narrowing-driven Partial Evaluation of Functional Logic Programs
– Maria Alpuente, Moreno Falaschi, German Vidal
- 1996
|
|
47
|
Global control for partial deduction through characteristic atoms and global trees
– Michael Leuschel, Bern Martens
- 1995
|
