Domain-Specific Languages

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

  • Walid Mohamed Taha
Conference proceedings DSL 2009

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

Table of contents

  1. Front Matter
  2. Semantics

  3. Methods and Tools

    1. Jose Falcon, William R. Cook
      Pages 58-77
    2. Zoé Drey, Julien Mercadal, Charles Consel
      Pages 78-99
    3. Hui Wu, Jeff Gray, Marjan Mernik
      Pages 125-147
    4. Tobias Walter, Jürgen Ebert
      Pages 148-169
  4. Case Studies

    1. André Rauber Du Bois, Marcos Echevarria
      Pages 170-186
    2. Mikoláš Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran et al.
      Pages 187-210
    3. Andreas Voellmy, Paul Hudak
      Pages 211-235
    4. Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
      Pages 236-261
    5. Eric Walkingshaw, Martin Erwig
      Pages 310-334
    6. Martin Erwig, Eric Walkingshaw
      Pages 335-359
    7. Oleg Kiselyov, Chung-chieh Shan
      Pages 360-384
    8. Franz Franchetti, Frédéric de Mesmay, Daniel McFarlin, Markus Püschel
      Pages 385-409
  5. Back Matter

About these proceedings


This volume presents the proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages, DSL 2009 held in Oxford, UK, during July 15-17, 2009.

The 18 peer-reviewed full papers were selected from a total of 48 submissions. The topics covered by the papers represent the diversity of applications, challenges, and methods of domain-specific languages. The papers are organized in topical sections on semantics, methods and tools, and case studies.


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

Editors and affiliations

  • Walid Mohamed Taha
    • 1
  1. 1.Department of Computer ScienceRice UniversityHoustonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-03033-8
  • Online ISBN 978-3-642-03034-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site