Domain-Specific Program Generation

by Lengauer, Christian; Batory, Don; Consel, Charles; Odersky, Martin

• ISBN13: 9783540221197
• ISBN10: 3540221190
• Format: Paperback
• Copyright: 2004-11-30
• Publisher: Springer-Verlag New York Inc

Summary

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

Surveys
The Road to Utopia: A Future for Generative Programming	1	(18)
Don Batory
From a Program Family to a Domain-Specific Language	19	(11)
Charles Consel
A Gentle Introduction to Multi-stage Programming	30	(21)
Walid Taha
DSL Implementation in MetaOCaml, Template Haskell, and C++	51	(22)
Krzysztof Czarnecki
John T. O'Donnell
Jorg Striegnitz
Walid Taha
Program Optimization in the Domain of High-Performance Parallelism	73	(19)
Christian Lengauer
A Personal Outlook on Generator Research (A Position Paper)	92	(15)
Yannis Smaragdakis
Domain-Specific Languages
Generic Parallel Programming Using C++ Templates and Skeletons	107	(20)
Holger Bischof
Sergei Gorlatch
Roman Leshchinskiy
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain	127	(16)
Kevin Hammond
Greg Michaelson
Embedding a Hardware Description Language in Template Haskell	143	(22)
John T. O'Donnell
A DSL Paradigm for Domains of Services: A Study of Communication Services	165	(15)
Charles Consel
Laurent Reveillere
PILIB: A Hosted Language for Pi-Calculus Style Concurrency	180	(16)
Vincent Cremet
Martin Odersky
Tools for Program Generation
A Language and Tool for Generating Efficient Virtual Machine Interpreters	196	(20)
David Gregg
M. Anton Ertl
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9	216	(23)
Eelco Visser
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax	239	(15)
Bernd Fischer
Eelco Visser
Domain-Specific Optimization
Optimizing Sequences of Skeleton Calls	254	(20)
Herbert Kuchen
Domain-Specific Optimizations of Composed Parallel Components	274	(17)
Sergei Gorlatch
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation	291	(16)
Olav Beckmann
Alastair Houghton
Michael Mellor
Paul H. J. Kelly
Guaranteed Optimization for Domain-Specific Programming	307	(18)
Todd L. Veldhuizen
Author Index	325