Table of Contents

Semantics.- J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.- Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.- Methods and Tools.- A MuDDy Experience–ML Bindings to a BDD Library.- Gel: A Generic Extensible Language.- A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.- LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++.- Unit Testing for Domain-Specific Languages.- Combining DSLs and Ontologies Using Metamodel Integration.- Case Studies.- A Domain Specific Language for Composable Memory Transactions in Java.- CLOPS: A DSL for Command Line Options.- Nettle: A Language for Configuring Routing Networks.- Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.- Domain-Specific Language for HW/SW Co-design for FPGAs.- A Haskell Hosted DSL for Writing Transformation Systems.- Varying Domain Representations in Hagl.- A DSL for Explaining Probabilistic Reasoning.- Embedded Probabilistic Programming.- Operator Language: A Program Generation Framework for Fast Kernels.