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

413 Semantics of context-free languages – D E Knuth - 1968
49 Attribute coupled grammars – H Ganzinger, R Giegerich - 1984
29 Benefits of Tree Transducers for Optimizing Functional Programs – Armin Kühnemann - 1998
375 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
50 Composition and evaluation of attribute coupled grammars – Robert Giegerich - 1988
71 Attribute Grammars as a Functional Programming Paradigm – Thomas Johnsson - 1987
17 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 – Harald Ganzinger - 1983
45 On attributed tree transducers – Zoltan Fulop - 1981
533 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
73 Using circular programs to eliminate multiple traversals of data – R S Bird - 1984
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
102 Macro tree transducers – J Engelfriet, H Vogler - 1985
13 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
173 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
12 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
60 Syntax-Directed Semantics: Formal Models Based on Tree Transducers. EATCS – Z Fülöp, H Vogler - 1998
38 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002