Attribute Grammars and Functional Programming Deforestation (1997)

Cached

Download Links

by Loïc Correnson , Etienne Duris , Didier Parigot , Gilles Roussel
Venue:IN FOURTH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM -- POSTER SESSION
Citations:4 - 3 self

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
4 Programmation polytypique avec les grammaires attribu'ees. Rapport de DEA, Universit'e de Paris VII – Loic Correnson - 1997
5 G'en'ericit'e dans les grammaires attribu'ees. Rapport de stage d'option, ' Ecole Polytechnique – Loic Correnson - 1996
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
11 Algorithmes de base pour la modularit'e et la r'eutilisabilit'e des grammaires attribu'ees – Gilles Roussel - 1994
20 Composing tree attributions – J Boyland, S L Graham - 1994
15 Specification and Implementation of Grammar Couplings using Attribute Grammars – M Jourdan, C Le Bellec, D Parigot, G Roussel - 1993
49 Attribute coupled grammars – H Ganzinger, R Giegerich - 1984
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
68 Attribute Grammar Paradigms – A High-Level Methodology in Language Implementation – J Paakki - 1995
25 Composable attribute grammars: Support for modularity in translator design and implementation – R Farrow, T J Marlowe, D M Yellin - 1992
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
450 Semantics of Context-Free Languages – D E Knuth - 1968
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
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
16 AP/S++: Case-study of a MOP for Purposes of Software Evolution – Cristina Videira Lopes, Karl J. Lieberherr - 1996