Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages.

An attribute grammar is a specification that defines attributions of values to (abstract syntax) tree nodes.

The attribute grammar compiler takes care of scheduling computations of attributions.

Attribute grammars are mainly useful for program analysis

Glueing computatations

All analysis is done on the original tree

See Also

  • Higher-order attribute grammars: attribute values can be new trees that can again be attributed

  • First-class attribute grammars: attribute propagation patterns are first-class

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > AttributeGrammar
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback