executable semantics

The MSOS in Prolog project (2002–2004) illustrates how MSOS rules for the dynamic semantics of a simple imperative programming language can be written as Prolog clauses.

The Prolog MSOS Tool (2001–2004) was used to support undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages.

MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude.

The ASD Tools (1992–1996) supported the original version of action semantics.

SIS (semantics implementation system, 1972–1979) used partial evaluation to run programs according to their denotational semantics.