Partial Deduction and Driving are Equivalent (1994)

Cached

Download Links

by Robert Glück , Morten Heine Sørensen
Citations:44 - 10 self

Active Bibliography

35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
13 Principles of Inverse Computation and the Universal Resolving Algorithm – Sergei Abramov, Robert Glück - 2002
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
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
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
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
24 Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints – Michael Leuschel - 1995
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996