↓Skip to main content

Research Projects

This section is about my involvement in current and previous research projects.

PLanCompS

PLanCompS (Programming Language Components and Specifications, since 2011) is an open international collaboration, continuing from an EPSRC-funded research project (2011-16).

CBS

CBS (Component-Based Semantics, since 2004) is a framework and meta-language for component-based specification of programming languages.

MSOS

MSOS (Modular SOS, 1999–2016) is modular variant of SOS (structural operational semantics).

CoFI

CoFI (Common Framework Initiative, 1995–2005) was a collaborative project to develop a common framework for algebraic specification and development of software.

Unified Algebras

The Unified Algebras framework (1988–1992) allows algebraic specification of sorts as values.

Action Semantics

Action Semantics (1985–2005) is a hybrid of denotational and operational semantics, developed in collaboration with David Watt (Glasgow).