Hyperlinked Twins
Hyperlinked twins of code repositories (developed since 2023) are websites that support precise name-based code navigation using ordinary web browsers.
Software Projects
This section is about my involvement in current and previous software projects.
CBS IDE
The CBS IDE (developed in 2017) is an integrated development environment for component-based semantics.
Just the Docs
Just the Docs (contributor since 2016, maintainer since 2020) is a theme for generating static websites with Jekyll.
MSOS in Prolog
The MSOS in Prolog project (2002–2004) illustrates how MSOS rules for the dynamic semantics of a simple imperative programming language can be written as Prolog clauses.
Action Environment
The Action Environment (2001-2005) was a prototype tool that supported use of so-called constructive action semantics (a hybrid of action semantics and component-based semantics).
Prolog MSOS Tool
The Prolog MSOS Tool (2001–2004) was used to support undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages.
Maude Action Tool
MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude.
SIS
SIS (semantics implementation system, 1972–1979) used partial evaluation to run programs according to their denotational semantics.