Abstract : Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features ...

We are pleased to announce that GPCE 2011 will be featuring 2 excellent tech talks. BR Tech Talk 1: Pragmatics for Formal Semantics Olivier Danvy Abstract This tech ...

Abstract : Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature ...

Abstract : The validation and veri #64257;cation of reliable systems is a dif #64257;cult and complex task, mainly for two reasons: First, it is dif #64257;cult to ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook Abstract Domain-specific languages ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...