Modularity 2016
Mon 14 - Thu 17 March 2016 Spain
Thu 17 Mar 2016 10:00 - 10:30 at MODULARITY - Languages and Modularity Chair(s): Shigeru Chiba

As with traditional software, the complexity of a programming language implementation is faced with modularization which favors the separation of concerns, independent development, maintainability and reuse. However, modularity interferes with language optimization as the latter requires context information that crosses over the single module boundaries and involves other modules. This renders hard to provide the optimization for a single language concept to be reusable with the concept itself. Therefore, the optimization is in general postponed to when all language concepts are available. We defined a model for modular language development with a multiple semantic actions dispatcher based on condition guards that are evaluated at runtime. The optimization can be implemented as context-dependent extensions applied a posteriori to the composed language interpreter without modifying a single component implementation. This renders effective the defined optimization within the language concept boundaries according to the context provided by other language concepts when available and eases its reuse with the language concepts implementation independently of its usage context. The presented model is integrated into the Neverlang development framework and is demonstrated on the optimization of a Javascript interpreter written in Neverlang. We also discuss the applicability of our model to other frameworks for modular language development.

Thu 17 Mar

Displayed time zone: Belfast change

10:00 - 11:30
Languages and ModularityResearch Results at MODULARITY
Chair(s): Shigeru Chiba University of Tokyo
10:00
30m
Talk
Modularity and Optimization in Synergy
Research Results
Walter Cazzola Università degli Studi di Milano, Albert Shaqiri
DOI
10:30
30m
Talk
Cooperative Decoupled Processes: The E-Calculus and Linearity
Research Results
Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt, Patrick Eugster Purdue University
DOI
11:00
30m
Talk
CPL: A Core Language for Cloud Computing
Research Results
Oliver Bračevac TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt
DOI