Outcome of a Dagstuhl Seminar: Domain-Specific Program Generation 2003

Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (Eds.): Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016 Springer 2004, ISBN 3-540-22119-0

Surveys

Don S. Batory:
The Road to Utopia: A Future for Generative Programming. 1-18
Charles Consel:
From a Program Family to a Domain-Specific Language. 19-29
Walid Taha:
A Gentle Introduction to Multi-stage Programming. 30-50
Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha:
DSL Implementation in MetaOCaml, Template Haskell, and C++. 51-72
Christian Lengauer:
Program Optimization in the Domain of High-Performance Parallelism. 73-91
Yannis Smaragdakis:
A Personal Outlook on Generator Research (A Position Paper). 92-106

Holger Bischof, Sergei Gorlatch, Roman Leshchinskiy:
Generic Parallel Programming Using C++ Templates and Skeletons. 107-126
Kevin Hammond, Greg Michaelson:
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. 127-142
John T. O'Donnell:
Embedding a Hardware Description Language in Template Haskell. 143-164
Charles Consel, Laurent Réveillère:
A DSL Paradigm for Domains of Services: A Study of Communication Services. 165-179
Vincent Cremet, Martin Odersky:
PiLib: A Hosted Language for Pi-Calculus Style Concurrency. 180-195

David Gregg, M. Anton Ertl:
A Language and Tool for Generating Efficient Virtual Machine Interpreters. 196-215
Eelco Visser:
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9. 216-238
Bernd Fischer, Eelco Visser:
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. 239-253

Herbert Kuchen:
Optimizing Sequences of Skeleton Calls. 254-273
Sergei Gorlatch:
Domain-Specific Optimizations of Composed Parallel Components. 274-290
Olav Beckmann, Alastair Houghton, Michael R. Mellor, Paul H. J. Kelly:
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation. 291-306
Todd L. Veldhuizen:
Guaranteed Optimization for Domain-Specific Programming. 307-324