Master Thesis

Summary

An executable structural operational semantics for SCOOP
Master Thesis, October 2011 — April 2012
Author: Mischael Schill
Supervisor: Benjamin Morandi
Project plan
Project report

Description

The goal of the project is to implement an interpreter for the SCOOP programming model. The interpreter closely follows the formal semantics of SCOOP. The interpreter is useful to develop and test the SCOOP semantics and it can be used as a reference implementation for the current model and future developments. The interpreter is implemented in Maude -- a framework to implement rewrite logics.