Integer Constraints to Stop Deforestation (1996)

by Helmut Seidl
Citations:10 - 2 self

Active Bibliography

12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
5 Type-inference based short cut deforestation (nearly) without inlining – Olaf Chitil - 1999
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
11 How to Comprehend Queries Functionally – Torsten Grust, Marc H. Scholl - 1999
20 Optimizing Lazy Functional Programs Using Flow Inference – Karl-Filip Faxen - 1995
18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
72 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
Hybrid Strategies for Query Translation and Optimisation – Torsten Grust , Marc H. Scholl - 1998