References

1

John Boyland and Susan L. Graham. Composing tree attributions. In 21st ACM Symp. on Principles of Programming Languages, pages 375-388, Portland, Oregon, January 1994. ACM Press.

2

R. M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44-67, January 1977.

3

Laurian M. Chirica and David F. Martin. An order-algebraic definition of Knuthian semantics. Mathematical Systems Theory, 13(1):1-27, 1979. See also: report TRCS78-2, Dept. of Elec. Eng. and Computer Science, University of California, Santa Barbara, CA (October 1978).

4

Loïc Correnson. Généricité dans les grammaires attribuées. Rapport de stage d'option, École Polytechnique, 1996.

5

Loïc Correnson. Programmation polytypique avec les grammaires attribuées. Rapport de DEA, Université de Paris VII, September 1997.

6

Loïc Correnson, Etienne Duris, Didier Parigot, and Gilles Roussel. Attribute grammars and functional programming deforestation. In Fourth International Static Analysis Symposium - Poster Session, Paris, France, September 1997.

7

Etienne Duris. Functional programming and attribute grammar deforestation. In Proc.of the International Conference on Functional Programming (ICFP'97) - Poster Session, Amsterdam, The Netherlands, June 1997. ACM Press.

8

Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Attribute grammars and folds: Generic control operators. Rapport de recherche 2957, INRIA, August 1996.

9

Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Structure-directed genericity in functional programming and attribute grammars. Rapport de Recherche 3105, INRIA, February 1997.

10

Rodney Farrow, Thomas J. Marlowe, and Daniel M. Yellin. Composable attribute grammars: Support for modularity in translator design and implementation. In 19th ACM Symp. on Principles of Programming Languages, pages 223-234, Albuquerque, NM, January 1992. ACM press.

11

Leonidas Fegaras, Tim Sheard, and Tong Zhou. Improving programs which recurse over multiple inductive structures. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94), pages 21-32, Orlando, Florida, June 1994.

12

Harald Ganzinger and Robert Giegerich. Attribute coupled grammars. In ACM SIGPLAN '84 Symp. on Compiler Construction, pages 157-170, Montréal, June 1984. Published as ACM SIGPLAN Notices, 19(6).

13

Harald Ganzinger, Robert Giegerich, and Martin Vach. MARVIN: a tool for applicative and modular compiler specifications. Forschungsbericht 220, Fachbereich Informatik, University Dortmund, July 1986.

14

Robert Giegerich. Composition and evaluation of attribute coupled grammars. Acta Informatica, 25:355-423, 1988.

15

Andrew Gill, John Launchbury, and Simon L Peyton Jones. A short cut to deforestation. In Conf. on Functional Programming and Computer Architecture (FPCA'93), pages 223-232, Copenhagen, Denmark, June 1993. ACM Press.

16

Zhenjiang Hu, Hideya Iwasaki, and Masato Takeishi. Deriving structural hylomorphisms from recursive definitions. In Proc.of the International Conference on Functional Programming (ICFP'96), pages 73-82, Philadelphia, May 1996. ACM Press.

17

P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In 24th ACM Symp. on Principles of Programming Languages, 1997.

18

Thomas Johnsson. Attribute grammars as a functional programming paradigm. In Gilles Kahn, editor, Func. Prog. Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 154-173. Springer-Verlag, New York-Heidelberg-Berlin, September 1987. Portland.

19

Martin Jourdan and Didier Parigot. Internals and Externals of the FNC-2 Attribute Grammar System. In Henk Alblas and Borivoj Melichar, editors, Attribute Evaluation Methods, volume 545 of Lect. Notes in Comp. Sci., pages 485-504, New York-Heidelberg-Berlin, June 1991. Springer-Verlag. Prague.

20

Richard Kieburtz and Jeffrey Lewis. Algebraic design language. Technical report, Oregon Graduate Institute, 1994.

21

Donald E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127-145, June 1968. Correction: Mathematical Systems Theory 5, 1, pp. 95-96 (March 1971).

22

John Launchbury and Tim Sheard. Warm fusion: Deriving build-cata's from recursive definitions. In Conf. on Func. Prog. Languages and Computer Architecture, pages 314-323, La Jolla, CA, USA, 1995. ACM Press.

23

Carole Le Bellec. La généricité et les grammaires attribuées. PhD thesis, Département de Mathématiques et d'Informatique, Université d'Orléans, 1993.

24

Carole Le Bellec, Martin Jourdan, Didier Parigot, and Gilles Roussel. Specification and Implementation of Grammar Coupling Using Attribute Grammars. In Maurice Bruynooghe and Jaan Penjam, editors, Programming Language Implementation and Logic Programming (PLILP '93), volume 714 of Lect. Notes in Comp. Sci., pages 123-136, Tallinn, August 1993. Springer-Verlag.

25

E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Conf. on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lect. Notes in Comp. Sci., pages 124-144, Cambridge, September 1991. Springer-Verlag.

26

Y. Onoue, Z. Hu, H. Iwasaki, and M. Takeichi. A calculational fusion system HYLO. In In Proc. IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, February 1997.

27

Jukka Paakki. Attribute grammar paradigms -- A high-level methodology in language implementation. ACM Computing Surveys, 27(2):196-255, June 1995.

28

Jens Palsberg, Boaz Patt-Shamir, and Karl Lieberherr. A new approach to compiling adaptive programs. In Hanne Riis Nielson, editor, European Symposium on Programming, pages 280-295, Linkoping, Sweden, 1996. Springer Verlag.

29

Didier Parigot, Etienne Duris, Gilles Roussel, and Martin Jourdan. Attribute grammars: a declarative functional language. Rapport de Recherche 2662, INRIA, October 1995.

30

Didier Parigot, Gilles Roussel, Martin Jourdan, and Etienne Duris. Dynamic Attribute Grammars. In Herbert Kuchen and S. Doaitse Swierstra, editors, Int. Symp. on Progr. Languages, Implementations, Logics and Programs (PLILP'96), volume 1140 of Lect. Notes in Comp. Sci., pages 122-136, Aachen, September 1996. Springer-Verlag.

31

Gilles Roussel. Algorithmes de base pour la modularité et la réutilisabilité des grammaires attribuées. PhD thesis, Département d'Informatique, Université de Paris 6, March 1994.

32

Gilles Roussel, Didier Parigot, and Martin Jourdan. Coupling Evaluators for Attribute Coupled Grammars. In Peter A. Fritzson, editor, 5th Int. Conf. on Compiler Construction (CC' 94), volume 786 of Lect. Notes in Comp. Sci., pages 52-67, Edinburgh, April 1994. Springer-Verlag.

33

Tim Sheard and Leonidas Fegaras. A fold for all seasons. In Conf. on Functional Programming and Computer Architecture (FPCA'93), pages 233-242, Copenhagen, Denmark, June 1993. ACM Press.

34

Akihiko Takano and Erik Meijer. Shortcut deforestation in calculational form. In Conf. on Func. Prog. Languages and Computer Architecture, pages 306-313, La Jolla, CA, USA, 1995. ACM Press.

35

Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees. In Harald Ganzinger, editor, European Symposium on Programming (ESOP '88), volume 300 of Lect. Notes in Comp. Sci., pages 344-358, Nancy, March 1988. Springer-Verlag.