Swansea University
Computer Science

Casper Bach Poulsen

Photo of Casper Bach Poulsen

Contact:
phone: (+44) (0)1792 606515
email: cscbp@swansea.ac.uk
office: Room 403

Casper Bach Poulsen
Dep. of Computer Science
Swansea University
Swansea
SA2 8PP
UK

Generating Specialized Interpreters for Modular Structural Operational Semantics

Accompanying material

Our paper proposes two novel transformations for systematically deriving the big-step counterparts of small-step Modular SOS specifications. The efficiency of evaluation based on the resulting set of rules was assessed by compiling the MSOS rules into Prolog.

The benchmarks and generated MSOS interpreters used in the paper are available here. The generated interpreters in Prolog have only been tested with SWI-Prolog.

The tool for automating MSOS rule transformations and compilation into Prolog is still at an early stage of development. Please contact me if you are interested in obtaining the most current version of the tool.

Go back