Repository navigation

msos-in-prolog

Public

About

Modular structural operational semantics in Prolog

4 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
code		code
docs		docs
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md

Repository files navigation

MSOS in Prolog

Modular structural operational semantics in Prolog.

See https://pdmosses.github.io/msos-in-prolog to view in GitHub Pages.

Related projects

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.

About

Modular structural operational semantics in Prolog

4 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages