Skip to main content
SpringerLink
Log in
Book cover

Domain-Specific Languages

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Walid Mohamed Taha

    1. Department of Computer Science, Rice University, Houston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5658)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: DSL 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Domain-Specific Languages

Keywords

About this book

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.

Editors and Affiliations

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

    Walid Mohamed Taha

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation