Cheap Deforestation for Non-strict Functional Languages (1996)


Download Links

by Andrew John Gill , Andrew John Gill
Citations:62 - 4 self

Active Bibliography

Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language – Markus Freericks - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
5 A Grammar-based Data-flow Analysis to Stop Deforestation – Morten Heine Sørensen - 1994
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996
3 From Standard To Non-Standard Semantics By Semantics Modifiers – Sergei Abramov, Robert Glück - 2001
On the Place of Supercompilation inside Program Specialization – Andrei P. Nemytykh
5 Semantics Modifiers: An Approach To Non-Standard Semantics Of Programming Languages – Sergei Abramov, Robert Glück, Robert Gl Uck - 1998
2 Reachability Analysis in Verification via Supercompilation – Alexei Lisitsa, Andrei P. Nemytykh - 2008
12 Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (Extended Abstract) – G. Puebla, John Gallagher, Manuel Hermenegildo - 1997
On Generalization of Lists and Strings in – Valentin F Turchin
Termination Combinators Forever – Maximilian Bolingbroke, Simon Peyton, Jones Dimitrios Vytiniotis
3 Supercompilation and Normalisation by Evaluation – Gavin E. Mendel-Gleason, Geoff Hamilton - 2010
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996
42 Redundant Argument Filtering of Logic Programs – Michael Leuschel, 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
22 Regular Approximation of Computation Paths in Logic and Functional Languages – John Gallagher, John Gallagher, Laura Lafave, Laura Lafave - 1996
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
2 Verification as specialization of interpreters with respect to data – Alexei P. Lisitsa, Andrei P. Nemytykh - 2008