Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)3540221190, 9783540221197, 9783540259350

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

Table of contents :
Front Matter….Pages –
The Road to Utopia: A Future for Generative Programming….Pages 1-18
From a Program Family to a Domain-Specific Language….Pages 19-29
A Gentle Introduction to Multi-stage Programming….Pages 30-50
DSL Implementation in MetaOCaml, Template Haskell, and C++….Pages 51-72
Program Optimization in the Domain of High-Performance Parallelism….Pages 73-91
A Personal Outlook on Generator Research….Pages 92-106
Generic Parallel Programming Using C++ Templates and Skeletons….Pages 107-126
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain….Pages 127-142
Embedding a Hardware Description Language in Template Haskell….Pages 143-164
A DSL Paradigm for Domains of Services: A Study of Communication Services….Pages 165-179
PiLib : A Hosted Language for Pi-Calculus Style Concurrency….Pages 180-195
A Language and Tool for Generating Efficient Virtual Machine Interpreters….Pages 196-215
Program Transformation with Stratego/XT….Pages 216-238
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax….Pages 239-253
Optimizing Sequences of Skeleton Calls….Pages 254-273
Domain-Specific Optimizations of Composed Parallel Components….Pages 274-290
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation….Pages 291-306
Guaranteed Optimization for Domain-Specific Programming….Pages 307-324
Back Matter….Pages –