GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Tue 27 Oct 2015 15:30 - 16:00 at Grand Station 1 - Session 8 Chair(s): Jaakko Järvi

Modular interpreters have the potential to achieve component-based language development: instead of writing language interpreters from scratch, they can be assembled from reusable, semantic building blocks. Unfortunately, traditional language interpreters are hard to extend because different language constructs may require different interpreter signatures. For instance, arithmetic interpreters only produce a value, whereas binding constructs require and additional environment. In this paper, we present a practical solution to this problem based on implicit context propagation. By structuring denotational-style interpreters as Object Algebras, base interpreters can be retro-actively lifted into new interpreters that have an extended signature. The additional parameters are implicitly propagated behind the scenes, through the evaluation of the base interpreter. Interpreter lifting enables a flexible style of component-based language development. The technique works in mainstream object-oriented languages, does not sacrifice type safety or separate compilation, and can be easily automated. We illustrate implicit context propagation using a modular definition of Featherweight Java and its extension to support side-effects.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:30
Session 8GPCE at Grand Station 1
Chair(s): Jaakko Järvi Texas A&M University
15:30
30m
Talk
Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras
GPCE
Pablo Inostroza Centrum Wiskunde & Informatica, Tijs van der Storm CWI
16:00
30m
Talk
Addressing Metamodel Revisions in Model-based Software Product Lines
GPCE
Jaime Font San Jorge University, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University
16:30
30m
Talk
Generative Software Product Line Development using Variability-Aware Design Patterns
GPCE
Christoph Seidl Technische Universität Braunschweig, Sven Schuster Technische Universität Braunschweig, Ina Schaefer
17:00
20m
Talk
Model Querying with Query Models
GPCE
Carlos Noguera Vrije Universiteit Brussel, Viviane Jonckers Vrije Universiteit Brussel
17:20
10m
Day closing
GPCE'15 Closing and GPCE'16 Announcement
GPCE