Skip to main content
  • Book
  • © 2004

Domain-Specific Program Generation

International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 chapters)

  1. Front Matter

  2. Surveys

    1. DSL Implementation in MetaOCaml, Template Haskell, and C++

      • Krzysztof Czarnecki, John T. O’Donnell, Jörg Striegnitz, Walid Taha
      Pages 51-72
    2. A Personal Outlook on Generator Research

      • Yannis Smaragdakis
      Pages 92-106
  3. Domain-Specific Languages

    1. Generic Parallel Programming Using C++ Templates and Skeletons

      • Holger Bischof, Sergei Gorlatch, Roman Leshchinskiy
      Pages 107-126
    2. A DSL Paradigm for Domains of Services: A Study of Communication Services

      • Charles Consel, Laurent Réveillère
      Pages 165-179
    3. PiLib: A Hosted Language for Pi-Calculus Style Concurrency

      • Vincent Cremet, Martin Odersky
      Pages 180-195
  4. Tools for Program Generation

    1. Program Transformation with Stratego/XT

      • Eelco Visser
      Pages 216-238
  5. Domain-Specific Optimization

    1. Optimizing Sequences of Skeleton Calls

      • Herbert Kuchen
      Pages 254-273
    2. Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation

      • Olav Beckmann, Alastair Houghton, Michael Mellor, Paul H. J. Kelly
      Pages 291-306
  6. Back Matter

About this book

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product.

This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on

- surveys of domain-specific programming technologies
- domain-specific programming languages
- tool support for program generation
- domain-specific techniques for program optimization

Keywords

  • C++ programming language
  • Java
  • application-level problem solution
  • code generation
  • domain-specific languages
  • domain-specific program generation
  • embedded systems
  • generative programming
  • optimization
  • program generation
  • program generators
  • program optimization
  • program transdormation
  • programming language
  • real-time

Editors and Affiliations

  • Department of Informatics and Mathematics, University of Passau,  

    Christian Lengauer

  • University of Texas at Austin, Austin, USA

    Don Batory

  • INRIA/LaBRI, Domaine universitaire, Talence Cedex

    Charles Consel

  • EPFL, Lausanne, Switzerland

    Martin Odersky

Bibliographic Information

  • Book Title: Domain-Specific Program Generation

  • Book Subtitle: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers

  • Editors: Christian Lengauer, Don Batory, Charles Consel, Martin Odersky

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b98156

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-22119-7Published: 24 May 2004

  • eBook ISBN: 978-3-540-25935-0Published: 18 November 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 332

  • Topics: Software Engineering, Programming Techniques, Compilers and Interpreters

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions