Analyzing Direct Non-local Dependencies in Attribute Grammars

Describing the static semantics of programming languages with attribute grammars is eased when the formalism allows direct dependencies to be induced between rules for nodes arbitrarily far away in the tree.