↓Skip to main content
  1. Papers/

Modular structural operational semantics #

Peter D. Mosses

Publication (2004): J. Log. Algebr. Program. 60-61, pp. 195–228, doi:10.1016/j.jlap.2004.03.008

Preprint (2003): PDF

Related projects:

  • MSOS in Prolog: Prolog rules corresponding to the MSOS rules in this paper.

  • Prolog MSOS Tool: Generation of Prolog interpreters from MSDF (a meta-language for specifying MSOS of programming languages), including lecture notes.

  • CBS: A framework for component-based specification of programming languages using MSOS.