Checks and locally computed properties on an AbstractSyntaxTree. Used in compiler implementation.
See http://en.wikipedia.org/wiki/Attribute_grammar
See also ChristiansenGrammar for the MutableLanguage approach.
CategoryCompilers