References

AC90

Isabelle Attali and Jacques Chazarain. Functional evaluation of strongly non-circular typol specifications. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications (WAGA), volume 461 of Lecture Notes in Computer Science, pages 157--176. Springer-Verlag, New York--Heidelberg--Berlin, September 1990. Paris.

And95

Laurent Andrey. Protocoles de communication et grammaires attribuées. PhD thesis, Université de Mancy, 1995.

AP94

Isabelle Attali and Didier Parigot. Integrating Natural Semantics and Attribute Grammars: the Minotaur System. Rapport de recherche 2339, INRIA, 1994.

AS95

Laurent Andrey and André Schaff. Description and prototyping of OSI protocol entities using attribute grammars. Technical Report 95-R-271, Centre de recherche en Informatique de Mancy, 1995.

AS96

Laurent Andrey and André Schaff. Description et prototypage d'entité de protocole OSI par grammaire attribuées. Technical report, Centre de recherche en Informatique de Mancy, 1996.

Asm97

Uwe Asmann. Software cocktail bars: A model of extensible software. Technical report, University of Karlsruh, IPD, January 1997.

Att96

Isabelle Attali. Sémantique Naturelle: Evaluation et Expressivité. Mémoire d'habilitation, Université de Nice Sophia Antipolis, 1996.

AW94

An Feng An and Toshiro Wakayama. SIMON: A grammar-based transformation system for structured documents. In Fifth International Conference on Electronic Publishing, pages 361--372, Darmstadt, Germany, 1994. Origination, Dissemination, and Design (EPODD) EP '94.

BM94

K. Barbar and K. Musumbu. Implementation of Abstract Interpretation Algorithm by means of Attribute Grammars. In Proceedings of the 26th Southeastern Symposium on System Theory, pages 87--93. IEEE Computer Society, March 1994.

CFZ82

Bruno Courcelle and Paul Franchi-Zannettacci. Attribute grammars and recursive program schemes. Theoretical Computer Science, 17(2 and 3):163--191 and 235--257, 1982. part I and II See also: rapport 8008, University de Bordeaux I (April 1980).

CM86

Laurian M. Chirica and David F. Martin. Toward compiler implementation correctness proofs. ACM Trans. Progr. Languages and Systems, 8(2):185--214, April 1986.

CM96

Pierre Cointe and Jacques Malenfant. Aspect-oriented programming versus reflection. Technical report, École des Mines de Nantes, 1996.

Con94

The COMPARE Consortium. fsdl. draft, Compare Consortium, novembre 1994. confidential.

Con96

Charles Consel. A framework of application generator design. Technical Report 3005, INRIA, 1996.

Cor96

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

DC90

Gerald D. P. Dueck and Gordon V. Cormack. Modular attribute grammars. The Computer Journal, 33:164--172, 1990. See also: research report CS-88-19, University of Waterloo (May 1988).

DCB94

M. Desainte-Catherine and K. Barbar. Using attribute grammars to find solutions for musical equational programs. ACM SIGPLAN Notices, 29(9):56--63, September 1994.

DPJ95

Etienne Duris, Didier Parigot, and Martin Jourdan. Mises à jour destructives dans les grammaires attribuées. Rapport de recherche 2686, INRIA, October 1995.

DPRJ96

Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Grammaires attribuées et folds: Opérateurs de contrôle Génériques. In journées du GDR de programmation, Orléans, 1996.

DPRJ97a

Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Grammaires attribuées et folds : opérateurs de contrôle génériques. In Journées Francophones des Langages Applicatifs, , France, January 1997. ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/jfla97.ps.gz.

DPRJ97b

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.

Dur94

Etienne Duris. Transformation de grammaires attribuées pour des mises à jour destructives. Rapport de DEA, Université d'Orléans, September 1994.

EdJ90

Joost Engelfriet and Willem de Jong. Attribute storage optimization by stacks. Acta Informatica, 27:567--581, 1990. Preliminary version: rapport 88-30, Vakgroep Informatica, Rijksuniv. te Leiden (December 1988).

EMR93

Sofoklis G. Efremidis, Khalid A. Mughal, and John H. Reppy. AML: Attribute grammars in ML. Technical Report TR93-1401, Cornell University, Computer Science Department, December 1993.

EMSR97

Sofoklis Efremidis, Khalid A. Mughal, Lars Søraas, and John Reppy. AML: Attribute grammars in ML. Nordic Journal of Computing, March 1997.

Fil86

Gilberto Filé. Classical and incremental attribute evaluation by means of recursive procedures. In Paul Franchi-Zannettacci, editor, 11th Coll. on Trees in Algebra and Programming (CAAP '86), volume 214 of Lecture Notes in Computer Science, pages 112--126. Springer-Verlag, New York--Heidelberg--Berlin, March 1986. Nice.

FJMM91

M. M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist, 2(1):20--26, 1991.

FK93

R. A. Frost and S. Karamatos. Supporting the Attribute Grammar Programming Paradigm in a Lazy Functional Programming Language, volume 693 of Lecture Notes in Computer Science, pages 278--295. Springer Verlag, 1993.

Fro94

Richard A. Frost. W/AGE : The windsor attribute grammar programming environment. Technical report, Winsdor University, May 1994. ftp://ftp.cs.uwindsor.ca/pub/wage.

FS90

R. A. Frost and W. S. Saba. A database interface based on montague's approach to the interpretation of natural language. International Journal of Man-Machine Studies, 33(2):149--176, 1990.

FZA89

Paul Franchi-Zannettacci and Dennis S. Arnon. Context-sensitive semantics as a basis for processing structured documents. BIGRE, 63--64:135--146, May 1989.

Gan80

Harald Ganzinger. Some principles for the development of compiler from denotational language definitions. Bericht TUM-INFO-8006, Institut für Informatik, Tech. University München, May 1980.

GG84

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).

GK93

Katsuhiko Gondow and Takuya Katayama. Attribute grammars as record calculus. Technical Report 93TR-0047, Tokyo Institute of Technology, 1993.

GK95

Katsuhiko Gondow and Takuya Katayama. On formalization of object oriented attribute grammars OOAG and higher order attribute grammars using record calculus. Technical Report 95TR-0020, Tokyo Institute of Technology, 1995.

Gro92

Josef Grosch. Multiple inheritance in object-oriented attribute grammars. Technical Report 28, GMD, Karlsruhe University, 1992.

Hed91

Görel Hedin. Incremental static-semantics analysis for object-oriented languages using door attribute grammars. In Henk Alblas and Borivoj Melichar, editors, Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science, pages 374--379. Springer-Verlag, New York--Heidelberg--Berlin, June 1991. Prague.

HNP96

Chris Hankin, Hanne Riis Nielson, and Jens Palsberg. Strategic directions for research on programming languages. In Computing Surveys. December 1996.

JC94

C. Barry Jay and J. R. B Cockett. Shapely types and shape polymorphism. In Donald Sannella, editor, European Symp. on Programming (ESOP '94), volume 788 of Lect. Notes in Comp. Sci., pages 302--316. Springer-Verlag, April 1994.

JJ96

J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, volume 1129 of Lect. Notes in Comp. Sci., pages 68--114. Springer-Verlag, 1996.

JJ97

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

JMP94

Martin Jourdan, Bruno Marmol, and Didier Parigot. Experiments with a Real Parallel Attribute Evaluator. En préparation pour soumission, 1994.

Joh87

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.

Jou

Martin Jourdan. A Survey of Parallel Attribute Evaluation Methods. pages 234--255.

JP

Martin Jourdan and Didier Parigot. The FNC-2 System User's Guide and Reference Manual. INRIA, Rocquencourt, 1.9 edition.

JP90a

Martin Jourdan and Didier Parigot. Techniques for Improving Grammar Flow Analysis. In Neil Jones, editor, European Symp. on Programming (ESOP '90), volume 432 of Lect. Notes in Comp. Sci., pages 240--255, Copenhague, 1990. Springer-Verlag.

JP90b

Catherine Julié and Didier Parigot. Space Optimization in the FNC-2 Attribute Grammar System. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications (WAGA), volume 461 of Lect. Notes in Comp. Sci., pages 29--45, Paris, September 1990. Springer-Verlag.

JPJ90

Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, and Carole Le Bellec. Design, implementation and evaluation of the FNC-2 attribute grammar system. In Conf. on Programming Languages Design and Implementation, pages 209--222, White Plains, NY, June 1990. Published as ACM SIGPLAN Notices, 25(6).

Kos91

Kai Koskimies. Object-orientation in attribute grammars. In Henk Alblas and Borivoj Melichar, editors, Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science, pages 297--329. Springer-Verlag, New York--Heidelberg--Berlin, June 1991. Prague.

KP87

Kai Koskimies and Jukka Paakki. TOOLS: a unifying approach to object-oriented language interpretation. In ACM SIGPLAN '87 Symp. on Interpreters and Interpretetive Techniques, pages 153--164. St. Paul, MN, June 1987. Published as ACM SIGPLAN Notices, volume 22, number 7.

KR93

Richard Kieburtz and Jeffrey R. Programming with algebras. Technical report, Oregon Graduate Institute, 1993.

KS86a

Uwe Kastens and M. Schmidt. Lifetime analysis for procedure parameters. In B. Robinet and Reinhard Wilhelm, editors, European Symp. on Programming (ESOP '86), volume 213 of Lecture Notes in Computer Science, pages 53--69. Springer-Verlag, New York--Heidelberg--Berlin, March 1986. Saarbrücken.

KS86b

Matthijs F. Kuiper and S. Doaitse Swierstra. Using Attribute Grammars to Derive Efficient Functional Programs. Report RUU--CS--86--16, Utrecht University, 1986.

KV94a

A. Kühnemann and H. Vogler. A pumping lemma for output languages of attributed tree transducers. Acta Cybernetica, 11:261--305, 1994.

KV94b

A. Kühnemann and H. Vogler. Synthesized and inherited functions - a new computational model for syntax-directed semantics. Acta Informatica, 31:431--477, 1994.

KW94

Uwe Kastens and William M. Waite. Modularity and Reusability in Attribute Grammars. Acta Informatica, 31:601--627, 1994.

Le 93

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.

Le 95

Gilles Le Bâtard. Réalisation dans le système FNC-2 d'un traducteur vers ML. rapport de stage de maîtrise, IFI, Université de Marne-la-Vallée, July 1995.

Lei96

Stéphane Leibovitsch. Relations entre la sémantique dénotationnelle et les grammaires attribuées. Rapport de DEA, Université de Paris VII, September 1996.

Lie92

Karl J. Lieberherr. Component enhancement: An adaptive reusability mechanism for groups of collaborating classes. In J. van Leeuwen, editor, Information Processing '92, 12th World Computer Congress, pages 179--185, Madrid, Spain, 1992. Elsevier.

LJ89

Sying-Syang Liu and Kurt R. Johmann. A tool specification language for software maintenance: Part I language design. Technical Report SERC-TR-36-F, Software Engineering Research Centre, November 1989.

LJPR93

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.

LL95

Cristina Videira Lopes and Karl J. Lieberherr. Ap/s++: A case-study of a mop for purposes of software evolution. Technical Report NU-CCS-95-?, Xerox PARC and Northeastern University, November 1995. ftp://ftp.ccs.neu.edu/pub/people/lieber/reflection-adaptive.ps.

LSK90

Tan. Lichao, Y. Shinoda, and T. Katayama. Coping with Changes in an Object Management System based on Attribute Grammars. In Proceedings of the Fourth ACM SIGSOFT '90 Symposium on Software Development Environments, pages 56--65, December 1990. Published as SIGSOFT Software Engineering Notes, volume 15, number 6.

Mar94

Bruno Marmol. La parallélisation et l'optimisation mémoire dans l'évaluation des grammaires attribuées. PhD thesis, Université d'Orléans, 1994.

Mee95

Lambert Meertens. Category theory for program construction by calculation, 1995.

MFP91

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.

MH95

Erik Meijer and Graham Hutton. Bananas in space: Extending fold and unfold to exponential types. In FPCA'95, 1995.

MV95

Andrea Mößle and Heiko Vogler. Efficient call-by-value evaluation strategy of primitive recursive program schemes. In Proceedings of the Fuji International Workshop in Functional and Logic Programming. World Scientific Publishing Co. Pte Ltd., 1995.

MW91

Ulrich Möncke and Reinhard Wilhelm. Grammar flow analysis. In Henk Alblas and Borivoj Melichar, editors, Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science, pages 151--186. Springer-Verlag, New York--Heidelberg--Berlin, June 1991. Prague.

OHIT97

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.

OW97

Martin Odersky and Philip Wadler. Pizza into java: Translating theory into practice. In 24th ACM Symp. on Principles of Programming Languages, 1997.

Paa94

J. Paakki. Multi-pass execution of functional logic programs. In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: Portland, Oregon, January 17--21, 1994, pages 361--374, New York, NY, USA, 1994. ACM Press.

Par88

Didier Parigot. Transformations, Évaluation Incrémentale et Optimisations des Grammaires Attribués: Le Système FNC-2. PhD thesis, Université de Paris-Sud, Orsay, 1988.

PDRJ95

Didier Parigot, Etienne Duris, Gilles Roussel, and Martin Jourdan. Attribute grammars: a declarative functional language. rapport de recherche 2662, INRIA, October 1995. ftp://ftp.inria.fr/INRIA/publication/RR/RR-2662.ps.gz.

Pet95

Mikael Pettersson. Compiling Natural Semantics. Ph.d. dissertation, Linköping University, December 1995.

PRJD96

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.

Ros90

Mads Rosendahl. Abstract interpretation using attribute grammars. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications (WAGA), volume 461 of Lecture Notes in Computer Science, pages 143--156. Springer-Verlag, New York--Heidelberg--Berlin, September 1990. Paris.

Ros91

Mads Rosendahl. Abstract Interpretation and Attribute Grammars. PhD thesis, Cambridge University, 1991.

Ros92

Mads Rosendahl. Strictness analysis for attribute grammars. In Programming Language Implementation and Logic Programming (PLILP '92), volume 631 of LNCS, pages 145--157. Springer-Verlag, 1992.

Rou94a

Christophe Roudet. Visualisation graphique incrémentale par évaluation d'attributs. Stage de DEA informatique de l'ESSI, Université NICE, 1994.

Rou94b

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.

RPJ94

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.

Ruf97

Erik Ruf. Partitioning dataflow analyses using types. In 24th ACM Symp. on Principles of Programming Languages, 1997.

Rus92

David Rushall. An attribute evaluator in haskell. Technical report, Manchester University, September 1992.

SCG95

K. E. Schauser, D. E. Culler, and S. C. Goldstein. Separation constraint partitioning - a new algorithm for partitioning non-strict programs into sequential threads. In In Proc. Principles of Programming Languages (POPL'95), San Francisco, CA, January 1995.

SEFR89

S. Sagiv, O. Edelstein, Nissim Francez, and M. Rodeh. Resolving circularity in attribute grammars with applications to data flow analysis. In 16th ACM Symp. on Principles of Progr. Languages, pages 36--48. Austin, TX, January 1989.

Ses89

Peter Sestoft. Replacing function parameters by global variables. In Conf. on Func. Prog. Languages and Computer Architecture., pages 39--53, London, September 1989. ACM Press.

SG95

Klaus E. Schauser and Seth C. Goldstein. How much non-strictness do lenient programs require? In Conf. on Func. Prog. Languages and Computer Architecture, pages 216--225, La Jolla, CA, USA, June 1995. ACM Press.

SH94

James S.Uhl and Nigel Horspool. Flow grammars - a flow analysis methodology. In Peter A. Fritzson, editor, 5th Int. Conf. on Compiler Construction (CC' 94), volume 786 of Lect. Notes in Comp. Sci., pages 203--217, Edinburgh, April 1994. Springer-Verlag.

She94

Tim Sheard. Meta programming tools for ml. Technical report, Oregon Graduate Institute, 1994.

Son87

M. Sonnenschein. Graph translation schemes to generate compiler parts. ACM Transactions on Programming Languages and Systems, 9(4):473--490, October 1987.

Sou90

Aziz Souah. Contribution à la sémantique déclarative des systèmes de transformation d'arbres attribués. PhD thesis, Université d'Orléans, November 1990.

SV

S. Doaitse Swierstra and Harald H. Vogt. Higher Order Attribute Grammars. pages 256--296.

SV90

S. Doaitse Swierstra and Harald H. Vogt. Higher order attribute grammars: a merge between functional and object oriented programming. report RUU--CS--90--12, Utrecht University, March 1990.

Tav88

Victor E. Tavernini. Translating natural semantic specifications to attribute grammars. report UIUCDCS-R-88-1407, Department of Comp. Sc., University of Illinois at Urbana-Champaign, May 1988.

TCl90

L Thomas and S. Cruz-lara. A concurrent object-oriented paradigm for attribute grammars. Technical report, Centre de recherche en Informatique de Mancy, 1990.

TG95

G. Tremblay and G.R. Gao. The impact of laziness on parallelism and the limits of strictness analysis. In High Performance Functional Computing, pages 119--133, April 1995.

Tre94

Guy Tremblay. Parallel implementation of lazy functional languages using abstract demand propagation. Phd thesis, McGill University, Montreal Canada, November 1994.

vdBFAvG93

P. M. van den Broek F. A. van Gilst. A new programming methodology for lazy functional languages. Technical report, University of Twente, 1993.

vdM94

E. A. van der Meulen. Incremental Rewriting. PhD thesis, University of Amsterdam, 1994.

Wad88

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.

Wad89

Philip Wadler. Theorems for free! In Conf. on Func. Prog. Languages and Computer Architecture, London, September 1989.

Wal89

Janet A. Walz. Extending Attribute Grammar and Type Inference Algorithms. Ph.D. thesis, Cornell University, February 1989.

WM94

Reinhard Wilhelm and R. Maurer. Les compilateurs - theorie, construction, generation. Masson, 1994.

WM95

Reinhard Wilhelm and R. Maurer. Compiler Design. Addison Wesley, 1995.