Title: PLanCompS: Programming Language Components and Specifications

Speaker: Peter D. Mosses (Department of Computer Science, Swansea University, UK)

Date: 15 December 2011

Abstract:

The PLanCompS project [www.plancomps.org] aims to establish a component-based framework for the design, specification and implementation of programming and domain-specific languages, and demonstrate its practicality. The main novelty will be 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, introducing new funcons when needed. This talk introduces and illustrates the proposed component-based framework, and compares it to some previous approaches.