Book Volume 3016 2004

Domain-Specific Program Generation

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

ISBN: 978-3-540-22119-7 (Print) 978-3-540-25935-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. Surveys

    1. No Access

      Chapter and Conference Paper

      Pages 1-18

      The Road to Utopia: A Future for Generative Programming

    2. No Access

      Chapter and Conference Paper

      Pages 19-29

      From a Program Family to a Domain-Specific Language

    3. No Access

      Chapter and Conference Paper

      Pages 30-50

      A Gentle Introduction to Multi-stage Programming

    4. No Access

      Chapter and Conference Paper

      Pages 51-72

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

    5. No Access

      Chapter and Conference Paper

      Pages 73-91

      Program Optimization in the Domain of High-Performance Parallelism

    6. No Access

      Chapter and Conference Paper

      Pages 92-106

      A Personal Outlook on Generator Research

  3. Domain-Specific Languages

    1. No Access

      Chapter and Conference Paper

      Pages 107-126

      Generic Parallel Programming Using C++ Templates and Skeletons

    2. No Access

      Chapter and Conference Paper

      Pages 127-142

      The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain

    3. No Access

      Chapter and Conference Paper

      Pages 143-164

      Embedding a Hardware Description Language in Template Haskell

    4. No Access

      Chapter and Conference Paper

      Pages 165-179

      A DSL Paradigm for Domains of Services: A Study of Communication Services

    5. No Access

      Chapter and Conference Paper

      Pages 180-195

      PiLib: A Hosted Language for Pi-Calculus Style Concurrency

  4. Tools for Program Generation

    1. No Access

      Chapter and Conference Paper

      Pages 196-215

      A Language and Tool for Generating Efficient Virtual Machine Interpreters

    2. No Access

      Chapter and Conference Paper

      Pages 216-238

      Program Transformation with Stratego/XT

    3. No Access

      Chapter and Conference Paper

      Pages 239-253

      Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

  5. Domain-Specific Optimization

    1. No Access

      Chapter and Conference Paper

      Pages 254-273

      Optimizing Sequences of Skeleton Calls

    2. No Access

      Chapter and Conference Paper

      Pages 274-290

      Domain-Specific Optimizations of Composed Parallel Components

    3. No Access

      Chapter and Conference Paper

      Pages 291-306

      Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation

    4. No Access

      Chapter and Conference Paper

      Pages 307-324

      Guaranteed Optimization for Domain-Specific Programming

  6. Back Matter

    Pages -