Stepwise Evaluation Attribute Grammars
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
EditText
of this page (last edited
May 25, 2012
) or
FindPage
with title or text search
Stepwise Evaluation Attribute Grammars