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



Contents

Semantics

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

 1-19

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

 20-44

Methods and Tools

A MuDDy Experience-ML Bindings to a BDD Library.

Ken Friis Larsen

 45-57

Gel: A Generic Extensible Language.

Jose Falcon, William R. Cook

 58-77

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

Zoé Drey, Julien Mercadal, Charles Consel

 78-99

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

Sumant Tambe, Aniruddha S. Gokhale

 100-124

Unit Testing for Domain-Specific Languages.

Hui Wu, Jeffrey G. Gray, Marjan Mernik

 125-147

Combining DSLs and Ontologies Using Metamodel Integration.

Tobias Walter, Jürgen Ebert

 148-169

Case Studies

A Domain Specific Language for Composable Memory Transactions in Java.

André Rauber Du Bois, Marcos Echevarria

 170-186

CLOPS: A DSL for Command Line Options.

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

 187-210

Nettle: A Language for Configuring Routing Networks.

Andreas Voellmy, Paul Hudak

 211-235

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

Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu

 236-261

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

Jason Agron

 262-284

A Haskell Hosted DSL for Writing Transformation Systems.

Andy Gill

 285-309

Varying Domain Representations in Hagl.

Eric Walkingshaw, Martin Erwig

 310-334

A DSL for Explaining Probabilistic Reasoning.

Martin Erwig, Eric Walkingshaw

 335-359

Embedded Probabilistic Programming.

Oleg Kiselyov, Chung-chieh Shan

 360-384

Operator Language: A Program Generation Framework for Fast Kernels.

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

 385-409