Dynamic Attribute Grammars

Although Attribute Grammars were introduced long ago, their lack of expressiveness has resulted in limited use outside the domain of static language processing. With the new notion of Dynamic Attribute Grammars defined on top of Grammar Couples, we show that it is possible to extend this expressiveness and to describe computations on structures that are not just trees, but also on abstractions allowing for infinite structures. The result is a language that is comparable in power to most first-order functional languages, with a distinctive declarative character.

[1]  Didier Parigot,et al.  Design, implementation and evaluation of the FNC-2 attribute grammar system , 1990, PLDI '90.

[2]  Pierre Deransart,et al.  Attribute Grammars: Definitions, Systems and Bibliography , 1988 .

[3]  Henk Alblas,et al.  Attribute Evaluation Methods , 1991, Attribute Grammars, Applications and Systems.

[4]  Henk Alblas,et al.  Attribute Grammars, Applications and Systems , 1991, Lecture Notes in Computer Science.

[5]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes II , 1982, Theor. Comput. Sci..

[6]  Didier Parigot.  Transformations, évaluation incrémentale et optimisations des grammaires attribuées : le système FNC-2 , 1988 .

[7]  Ken Kennedy,et al.  Automatic generation of efficient evaluators for attribute grammars , 1976, POPL.

[8]  Uwe Kastens.  Implementation of Visit-Oriented Attribute Evaluators , 1991, Attribute Grammars, Applications and Systems.

[9]  Didier Parigot,et al.  Space Optimization in the FNC-2 Attribute Grammar System , 1990, WAGA.

[10]  Isabelle Attali.  Compilation de programmes Typol par attributs sémantiques , 1989 .

[11]  S. Doaitse Swierstra,et al.  Higher Order Attribute Grammars , 1991, Attribute Grammars, Applications and Systems.

[12]  Joost Engelfriet,et al.  Attribute Grammars: Attribute Evaluation Methods , 1984, Method and tools for compiler construction.

[13]  John Tang Boyland,et al.  Conditional attribute grammars , 1996, TOPL.

[14]  Martin Jourdan,et al.  Attribute Grammars: a Declarative Functional Language , 1995 .

[15]  S. Doaitse Swierstra,et al.  Higher order attribute grammars , 1989, PLDI '89.

[16]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[17]  Rodney Farrow.  Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars , 1986, SIGPLAN '86.

[18]  Rodney Farrow.  Covers of Attribute Grammars and Sub-Protocol .Attribute Evaluators , 1983 .

[19]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes I , 1982, Theoretical Computer Science.