IFIP TC6 Open Digital Library

DSL 2009: Oxford, UK

Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Walid Mohamed Taha

Springer, Lecture Notes in Computer Science 5658, ISBN: 978-3-642-03033-8



J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.

Olivier Danvy, Chung-chieh Shan, Ian Zerny


Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.

William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein


Methods and Tools

A MuDDy Experience-ML Bindings to a BDD Library.

Ken Friis Larsen


Gel: A Generic Extensible Language.

Jose Falcon, William R. Cook


A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.

Zoé Drey, Julien Mercadal, Charles Consel


LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++.

Sumant Tambe, Aniruddha S. Gokhale


Unit Testing for Domain-Specific Languages.

Hui Wu, Jeffrey G. Gray, Marjan Mernik


Combining DSLs and Ontologies Using Metamodel Integration.

Tobias Walter, Jürgen Ebert


Case Studies

A Domain Specific Language for Composable Memory Transactions in Java.

André Rauber Du Bois, Marcos Echevarria


CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry


Nettle: A Language for Configuring Routing Networks.

Andreas Voellmy, Paul Hudak


Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.

Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu


Domain-Specific Language for HW/SW Co-design for FPGAs.

Jason Agron


A Haskell Hosted DSL for Writing Transformation Systems.

Andy Gill


Varying Domain Representations in Hagl.

Eric Walkingshaw, Martin Erwig


A DSL for Explaining Probabilistic Reasoning.

Martin Erwig, Eric Walkingshaw


Embedded Probabilistic Programming.

Oleg Kiselyov, Chung-chieh Shan


Operator Language: A Program Generation Framework for Fast Kernels.

Franz Franchetti, Frédéric de Mesmay, Daniel S. McFarlin, Markus Püschel