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.

This volume presents the proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages, DSL 2009 held in Oxford, UK, during July 15-17, 2009. The 18 peer-reviewed full papers were selected from a total of 48 submissions. The topics covered by the papers represent the diversity of applications, challenges, and methods of domain-specific languages. The papers are organized in topical sections on semantics, methods and tools, and case studies.