CBS IDE
The CBS IDE (developed in 2017) is an integrated development environment for component-based semantics.
component-based semantics
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.
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).