WG211/M10Mosses

PLanCompS: Programming Language Components and Specifications by Peter Mosses

The PLanCompS project aims to establish and test the practicality of a component-based framework for the design, specification and implementation of programming and domain-specific languages. The main novelty will be the the creation of a substantial open-ended collection of highly reusable language components called 'funcons' (fundamental constructs). The semantics of each funcon will be specified independently, using frameworks such as Modular SOS; languages will be defined by specifying their translation to funcons. This talk introduces and illustrates the PLanCompS framework, and compares it to some previous approaches.

PLanCompS [www.plancomps.org] is a 4-year joint research project, based at Swansea, Royal Holloway and City, starting in September 2011. It is funded by EPSRC grant EP/I032495/1 and related grants.