𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

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

✍ Scribed by Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
Tongue
English
Leaves
337
Series
Lecture Notes in Computer Science 3016
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 -

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters

πŸ“œ SIMILAR VOLUMES

Domain-Specific Program Generation: Inte
πŸ“ 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 Oders πŸ“‚ Library πŸ“… 2004 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>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 tim

Virtual Realities: International Dagstuh
πŸ“ Virtual Realities: International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers
✍ Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor VΓ‘Ε‘a ( πŸ“‚ Library πŸ“… 2015 πŸ› Springer International Publishing 🌐 English

<p><p>Virtual reality (VR) is a multidisciplinary area of research aimed at interactive human–computer-mediated simulations of artificial environments. An important aspect of VR-based systems is the stimulation of the human senses – usually sight, sound, and touch – in such a way that a user feels a

Software Visualization: International Se
πŸ“ Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20–25, 2001 Revised Papers
✍ Andreas Kerren, John T. Stasko (auth.), Stephan Diehl (eds.) πŸ“‚ Library πŸ“… 2002 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers topical sections on:<BR>- algorithm animation<BR>- software visualization and software engineering<BR>

Generic Programming: International Semin
πŸ“ Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers
✍ James C. Dehnert, Alexander Stepanov (auth.), Mehdi Jazayeri, RΓΌdiger G. K. Loos πŸ“‚ Library πŸ“… 2000 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.<BR>The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradi

Embodied Artificial Intelligence: Intern
πŸ“ Embodied Artificial Intelligence: International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003. Revised Papers
✍ Rolf Pfeifer, Fumiya Iida (auth.), Fumiya Iida, Rolf Pfeifer, Luc Steels, Yasuo πŸ“‚ Library πŸ“… 2004 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Originating from a Dagstuhl seminar, the collection of papers presented in this book constitutes on the one hand a representative state-of-the-art survey of embodied artificial intelligence, and on the other hand the papers identify the important research trends and directions in the field.</P