Prolog MSOS Tool
User Guide
Peter D. Mosses
https://pdmosses.github.io
p.d.mosses@swansea.ac.uk
Last edited: 13 September 2019
The code in the MSOS folder was developed between 2001 and 2004, at the Department of Computer Science, Aarhus University, Denmark. It was used in connection with undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages. See the lecture notes for explanations and exercises.
The only changes made in the present version concern the filename
extension used for Prolog files (which is now .pro instead of .pl).
The code should run without errors or warnings using SWI-Prolog,
otherwise kindly send a bug report to
p.d.mosses@swansea.ac.uk,
including relevant details of how to replicate the problem.
Related projects
-
MSOS in Prolog: Prolog rules corresponding to the MSOS rules in the author’s JLAP 2004 paper.
-
CBS: a framework for component-based specification of programming languages using MSOS.
-
Maude MSOS Tool: an execution environment that brings the power of analysis available in the Maude system to MSOS specifications.