Domain-Specific Languages

1. Front Matter

   PDF

2. Semantics

   1. 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

      Pages 1-19

   2. 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

      Pages 20-44

3. Methods and Tools

   1. A MuDDy Experience–ML Bindings to a BDD Library

      • Ken Friis Larsen

      Pages 45-57

   2. Gel: A Generic Extensible Language

      • Jose Falcon, William R. Cook

      Pages 58-77

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

      • Zoé Drey, Julien Mercadal, Charles Consel

      Pages 78-99

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

      • Sumant Tambe, Aniruddha Gokhale

      Pages 100-124

   5. Unit Testing for Domain-Specific Languages

      • Hui Wu, Jeff Gray, Marjan Mernik

      Pages 125-147

   6. Combining DSLs and Ontologies Using Metamodel Integration

      • Tobias Walter, Jürgen Ebert

      Pages 148-169

4. Case Studies

   1. A Domain Specific Language for Composable Memory Transactions in Java

      • André Rauber Du Bois, Marcos Echevarria

      Pages 170-186

   2. CLOPS: A DSL for Command Line Options

      • Mikoláš Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran et al.

      Pages 187-210

   3. Nettle: A Language for Configuring Routing Networks

      • Andreas Voellmy, Paul Hudak

      Pages 211-235

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

      • Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu

      Pages 236-261

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

      • Jason Agron

      Pages 262-284

   6. A Haskell Hosted DSL for Writing Transformation Systems

      • Andy Gill

      Pages 285-309

   7. Varying Domain Representations in Hagl

      • Eric Walkingshaw, Martin Erwig

      Pages 310-334

   8. A DSL for Explaining Probabilistic Reasoning

      • Martin Erwig, Eric Walkingshaw

      Pages 335-359

   9. Embedded Probabilistic Programming

      • Oleg Kiselyov, Chung-chieh Shan

      Pages 360-384

   10. Operator Language: A Program Generation Framework for Fast Kernels

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

       Pages 385-409

5. Back Matter

   PDF

Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the ?eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. – They relate to a well-de?ned domain of discourse, be it controlling tra?c lights or space ships. – They have well-de?ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. – The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di?erent notations that may be received very di?erently by users. – The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.

• C++ programming language
• Haskell
• Java
• JavaScript
• Routing
• automatic performance tuning
• high performance software
• interlanguage library
• library generation
• meta-modeling
• model checking
• model-driven engineering
• multicore CPU
• programming
• structured analysis

• Department of Computer Science, Rice University, Houston, USA

  Walid Mohamed Taha

Policies and ethics