DSL 2009: Oxford, UK

Walid Mohamed Taha (Ed.): Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings. Lecture Notes in Computer Science 5658 Springer 2009, ISBN 978-3-642-03033-8

Semantics

Olivier Danvy, Chung-chieh Shan, Ian Zerny:
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. 1-19
William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein:
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. 20-44

Methods and Tools

Ken Friis Larsen:
A MuDDy Experience-ML Bindings to a BDD Library. 45-57
Jose Falcon, William R. Cook:
Gel: A Generic Extensible Language. 58-77
Zoé Drey, Julien Mercadal, Charles Consel:
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. 78-99
Sumant Tambe, Aniruddha S. Gokhale:
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++. 100-124
Hui Wu, Jeffrey G. Gray, Marjan Mernik:
Unit Testing for Domain-Specific Languages. 125-147
Tobias Walter, Jürgen Ebert:
Combining DSLs and Ontologies Using Metamodel Integration. 148-169

Case Studies

André Rauber Du Bois, Marcos Echevarria:
A Domain Specific Language for Composable Memory Transactions in Java. 170-186
Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry:
CLOPS: A DSL for Command Line Options. 187-210
Andreas Voellmy, Paul Hudak:
Nettle: A Language for Configuring Routing Networks. 211-235
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu:
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. 236-261
Jason Agron:
Domain-Specific Language for HW/SW Co-design for FPGAs. 262-284
Andy Gill:
A Haskell Hosted DSL for Writing Transformation Systems. 285-309
Eric Walkingshaw, Martin Erwig:
Varying Domain Representations in Hagl. 310-334
Martin Erwig, Eric Walkingshaw:
A DSL for Explaining Probabilistic Reasoning. 335-359
Oleg Kiselyov, Chung-chieh Shan:
Embedded Probabilistic Programming. 360-384
Franz Franchetti, Frédéric de Mesmay, Daniel McFarlin, Markus Püschel:
Operator Language: A Program Generation Framework for Fast Kernels. 385-409