WG211/M15Mosses
From WG 2.11
The PLanCompS project has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based language definitions, including semantics-based program execution, developed in collaboration with Neil Sculthorpe at Swansea and Thomas van Binsbergen at RHUL.
