↓Skip to main content
  1. Tags/

Prolog

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.