From: Bas Basten 
To: pem-list, sen-list, ins-list
Date: Thu, 08 Dec 2011 14:30:30 +0100 (CET)
Subject: [pem-list] PEM Talk Peter Mosses, Wednesday December 14, 11:00

Dear all,

You are cordially invited for the next talk in our PEM series. On
Wednesday December 14, Peter D. Mosses from the Department of Computer
Science of Swansea University will give the following talk:

---------------------

Title:Developing tool support for component-based language specification

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. The main
novelty will be the creation of an open-ended collection of reusable
language components called 'funcons' (fundamental constructs). Languages
will be specified by translating program phrases to combinations of
funcons, adding new funcons  to the collection when needed. The
scalability of the framework and its tool support will be demonstrated
by developing and validating specifications of some major programming
languages.


In this talk, we give examples of funcons, and explain how to specify
their semantics. We then illustrate translation of a simple programming
language to funcons. We also demonstrate the use of a basic tool for
editing, parsing and checking well-formedness of funcon and language
specifications, developed at Swansea using the ASF+SDF Meta-Environment;
a similar tool has recently been implemented at CWI using Rascal. We
conclude by discussing tool support requirements of component-based
language specification.

---------------------

The talk starts at 11:00 in room L120, CWI. We hope to see you all
there.

Best regards,
Bas Basten