DiverSE’s Seminar about Software Language Engineering (SLE), May 28th, 2015

About the Seminar

The DiverSE’s Seminar about Software Language Engineering (SLE) is a specific seminar in the context of the visit of Prof. Peter D. Mosses in the DiverSE team. The seminar includes a keynote by Prof. Mosses, and presentations about some topics related to SLE and addressed in the DiverSE team.

The format of the seminar is expected to be highly interactive, with the main objective to provide feedback, discuss convergence of ideas, and possible complementarities. For this purpose, a large part of each session in the program would be dedicated to discussions.


09:15-09:30: Seminar opening
09:30-10:00: Presentation of the DiverSE team and overview of the SLE activities, Benoit Baudry and Benoit Combemale
10:00-10:30: Melange: a typing theory for language development, Thomas Degueule

10:30-11:00: coffee break

11:00-11:30: Melange: language variability management, David Mendez
11:30-12:00: Domain-Specific Metamodeling, and language families, José Galindo

12:00-13:00: lunch

13:00-14:00: DiverSE Coffee

Peter Mosses

Keynote by Prof. Peter D. Mosses: “Modular operational semantics for fundamental programming constructs

The Modular SOS (MSOS) formalism is a simple variant of structural operational semantics. Its main advantage is that it allows the semantics of individual constructs of programming languages to be defined completely independently. For example, the MSOS definition of the behavioral semantics of conditional expressions does not depend on whether expression evaluation might involve assignments to variables, throwing exceptions, spawning threads, etc. Hence it does not need amending if the language in which it occurs is subsequently extended with such features.
In general, however, the MSOS definition of a construct from one language is not directly reusable in the definition of another language. For components of language definitions to be highly reusable, it seems necessary to decouple the components from the syntactic and semantic details of particular languages. This motivates the development of an open-ended collection of language-independent fundamental constructs (funcons) that have fixed syntax and semantics. Languages can then be defined by translating their constructs to combinations of funcons, reusing them verbatim.
After introducing MSOS, this talk illustrates how it can be used to define various funcons, and how those funcons can be used to define some familiar constructs from programming languages.

14:00-14:15: Discussions and Brainstorms

14:15-14:30: The GEMOC Initiative, Benoit Combemale
14:30-15:00: GEMOC: Reifying concurrency into language semantics, Benoit Combemale
15:00-15:30: GEMOC: Trace Management Facilities to Support V&V in Executable DSLs, Erwan Bousse
15:30-16:00: Adaptable Software Languages, Marcelino Rodriguez

16:00-16:30: coffee break

16:30-17:00: Frictional Forces in Metamodeling: A Case Study, Guillaume Becan
17:00-17:30: Metamorphic DSLs, Mathieu Acher
17:30-18:00:DSL for building custom memory profilers, Inti Gonzalez


The participation to the seminar is free, but the registration is mandatory. The coffee breaks and the lunch will be offered to the participants.

REGISTER HERE no later than May 18th.


The seminar will take place in the conference center of Inria Rennes – Bretagne Atlantique (room Turing).


For any question or further information, please contact Benoit Combemale.