Difference between revisions of "WG211/M10Mosses"

From WG 2.11
Jump to: navigation, search
(Created page with "Category:WG211 '''PLanCompS: Programming Language Components and Specifications''' by Peter Mosses The PLanCompS project aims to establish and test the practicality of a ...")
 
m (1 revision)
 
(No difference)

Latest revision as of 11:06, 12 December 2011



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.