A Transformation System Combining Partial Evaluation with Term Rewriting (1993)

Cached

Download Links

by Françoise Bellegarde
Venue:In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS
Citations:6 - 5 self

Active Bibliography

4 Automating Synthesis by Completion – Françoise Bellegarde - 1994
2 Automatic Transformations by Rewriting Techniques – Françoise Bellegarde - 1994
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
3 How to Deforest in Accumulative Parameters? – Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel - 1999
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002
3 Termination Issues in Automated Syntheses – F. Bellegarde - 1994