Declarative Program Transformation: a Deforestation case-study (1999)

Cached

Download Links

by Loïc Correnson , Etienne Duris , Didier Parigot , Gilles Roussel
Citations:15 - 2 self

Documents Related by Co-Citation

447 Semantics of Context-Free Languages – Donald E Knuth - 1968
49 Attribute coupled grammars – Harald Ganzinger, Robert Giegerich - 1984
31 Benefits of Tree Transducers for Optimizing Functional Programs – Armin Kühnemann - 1998
400 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
50 Composition and evaluation of attribute coupled grammars – Robert Giegerich - 1988
74 Attribute Grammars as a Functional Programming Paradigm – Thomas Johnsson - 1987
18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
25 Increasing modularity and language-independency in automatically generated compilers – H Ganzinger - 1983
49 On attributed tree transducers – Z Fulop - 1981
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
79 Using circular programs to eliminate multiple traversals of data – Richard S Bird - 1984
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
108 Macro Tree Transducers – J Engelfriet, H Vogler - 1985
15 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
9 Composition of restricted Macro Tree Transducers – Janis Voigtländer, Verantwortlicher Hochschullehrer, Prof Dr. -ing, Heiko Vogler, Lehrstuhl Grundlagen - 2001
68 Syntax-Directed Semantics: Formal Models Based on Tree Transducers – Z Fülöp, H Vogler - 1998
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002