CBS
CBS (Component-Based Semantics, since 2004) is a framework and meta-language for component-based specification of programming languages.
operational semantics
MSOS in Prolog
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.
Prolog MSOS Tool
The Prolog MSOS Tool (2001–2004) was used to support undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages.