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