Stepwise Evaluation Attribute Grammars
- AttributeGrammars are a formalism particularly suited for the concise implementations for semantics of programming languages (e.g. static, operational, denotational), in the form of a compiler or interpreter.
See