'''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.
** http://people.cs.uu.nl/ariem/stepwise.pdf (BrokenLink)
----
See
* HaskellPlatform
* PredicateLogic
----
CategoryComputerArchitecture