Table of Contents
Deep Meta-modelling with MetaDepth Juan de Lara Esther Guerra 1
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage Fabian Christ Jan-Christopher Bals Gregor Engels Christian Gerth Markus Luckey 21
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks Andoni Lombide Carreton Stijn Mostinckx Tom Van Cutsem Wolfgang De Meuter 41
Understanding the Impact of Collection Contracts on Design Stephen Nelson David J. Pearce James Noble 61
Reasoning about Function Objects Martin Nordio Cristiano Calcagno Bertrand Meyer Peter Müller Julian Tschannen 79
Welterweight Java Johan Östlund Tobias Wrigstad 97
Read-Only Execution for Dynamic Languages Jean-Baptiste Arnaud Marcus Denker Stéphane Ducasse Damien Pollet Alexandre Bergel Mathieu Suen 117
Optimizing Aspect-Oriented Mechanisms for Embedded Applications Christine Hundt Daniel Stöhr Sabine Glesner 137
Contract-Driven Testing of JavaScript Code Phillip Heidegger Peter Thiemann 154
Late Binding of AspectJ Advice Ryan M. Golbeck Peter Selby Gregor Kiczales 173
EriLex: An Embedded Domain Specific Language Generator Hao Xu 192
Domain-Specific Program Checking Lukas Renggli Stéphane Ducasse Tudor Gîrba Oscar Nierstrasz 213
Revisiting Parametric Types and Virtual Classes Anders Bach Madsen Erik Ernst 233
Moles: Tool-Assisted Environment Isolation with Closures Jonathan de Halleux Nikolai Tillmann 253
Encoding Ownership Types in Java Nicholas Cameron James Noble 271
Visualizing Dynamic Metrics with Profiling Blueprints Alexandre Bergel Romain Robbes Walter Binder 291
Author Index 311