Improving Programs which Recurse over Multiple Inductive Structures (1994)

by Leonidas Fegaras , Tim Sheard , Tong Zhou
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Citations:25 - 6 self

Documents Related by Co-Citation

113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
326 Theorems for free! – Philip Wadler - 1989
105 Data structures and program transformation – G Malcolm - 1990
49 Attribute coupled grammars – H Ganzinger, R Giegerich - 1984
25 Composable attribute grammars: Support for modularity in translator design and implementation – R Farrow, T J Marlowe, D M Yellin - 1992
14 A grammar-based data-flow analysis to stop deforestation – M H S��rensen - 1994
11 Algorithmes de base pour la modularit'e et la r'eutilisabilit'e des grammaires attribu'ees – Gilles Roussel - 1994
50 Composition and evaluation of attribute coupled grammars – Robert Giegerich - 1988
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
97 and Order in Algorithmics – Law - 1992
35 Homomorphisms and promotability – G Malcolm - 1989
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996