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

450 Semantics of Context-Free Languages – D E Knuth - 1968
49 Attribute coupled grammars – H Ganzinger, R Giegerich - 1984
31 Benefits of Tree Transducers for Optimizing Functional Programs – Armin Kühnemann - 1998
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
50 Composition and evaluation of attribute coupled grammars – Robert Giegerich - 1988
73 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 – Harald Ganzinger - 1983
49 Weighted tree transducers – Zoltán Fülöp, Heiko Vogler
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
78 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
107 Macro tree transducers – J Engelfriet, H Vogler - 1985
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
193 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
67 H.: Syntax-Directed Semantics — Formal Models Based on Tree Transducers – Z Fülöp, Vogler - 1998
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002