Generation And Configuration Literature

See the Taxonomy of Generation and Configuration Approaches

---

Table of Contents

---

People

• Uwe Aßmann (DBLP)
• Krzysztof Czarnecki (DBLP)
• Martin Erwig
• Bernd Fischer (DBLP)
• Ralf Lämmel (DBLP)
• Gregor Kiczales (DBLP)
• Simon Peyton Jones (DBLP)
• Tim Sheard (DBLP)
• Yannis Smaragdakis ([[][DBLP]])
• Walid Taha (DBLP)
• Eelco Visser (DBLP)
• Joost Visser (DBLP)

---

Software Variability

Feature models

Software product lines

• softwareproductlines.com

• softwarefactories.com

• Don Batory, Clay Johnson, Bob MacDonald? , and Dale von Heeder, Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. In ACM Transactions on Software Engineering and Methodology, Vol. 11#2, April 2002.

• Don Batory, Rich Cardone, and Yannis Smaragdakis. Object-Oriented Frameworks and Product-Lines. In 1st Software Product-Line Conference, Denver, Colorado, August 1999.

• Don Batory. Product-Line Architectures. Invited presentation, Smalltalk und Java in Industrie and Ausbildung, Erfurt, Germany, October 1998.

Feature-oriented programming

---

Component Frameworks and Composition Mechanisms

Component Systems

• Java Beans
• CORBA
• COM

Architecture Systems

• Unicon
• ACME
• Darwin

• Composition filters

Invasive Software Composition

• Compost

---

Domain- and Model-Driven Approaches

• Domain-Driven Development (OOPSLA 2003 track)

Model-driven architecture

---

Domain-Specific Languages and Generators

• Google: Domain Specific Program Generation

• Domain-Specific Program Generation

• Program Generation for Ocean Modeling

• Proceedings of the IEEE Special Issue on Program Generation, Optimization, and Platform Adaptation

• Tools and Methods for Automatic Program Generation: Literature & Topics (Freiburg seminar)

• http://codegeneration.net/

Program Synthesis

• AutoBayes
  • Bernd Fischer, Johann Schumann. Generating Data Analysis Programs from Statistical Models Journal of Functional Programming, Vol. 13, No. 3, May 2003, pp. 483-508.

• FFTW

Generative programming

• The Generative Matrix Computation Library

• Krzysztof Czarnecki and Ulrich W. Eisenecker: "Generative Programming - Methods, Tools, and Applications". Addison-Wesley, June 2000.

Application Generators

• JGenerator
  • Generate Enterprise Applications With JGenerator by Dino Fancellu

The GenVoca? Model and P++

• Don Batory and Sean O'Malley. The Design and Implementation of Hierarchical Software Systems With Reusable Components. In ACM Transactions on Software Engineering and Methodology, 1992.
• Vivek Singhal and Don Batory. P++: A Language for Large-Scale Reusable Software Components. In Proceedings of the 6th Annual Workshop on Software Reuse, Owego, New York, November 1993.
• Don Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart Geraci, and Marty Sirkin. The GenVoca Model of Software-System Generators. In IEEE Software, September 1994.

Active libraries and domain-specific optimization

• Broadway
  • Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries, Calvin Lin (U. Texas) and Samuel Z. Guyer (U. Texas)

• Techniques for Matlab compilation, Luiz DeRose? (IBM Research) and George Almasi (IBM Research)

• Domain Specific Compiler Techniques, Franz Franchetti, Stefan Kral, Juergen Lorenz, Christoph W. Ueberhuber (all University of Technology, Vienna)

• Telescoping Languages, A System for Automatic Generation of Domain Languages, Ken Kennedy, Bradley Broom, Arun Chauhan, Rob Fowler, Chuck Koelbel, Cheryl McCosh? , and John Mellor-Crummey (all Rice University)

Attribute Programming

• XDocLet

Intentional Programming

• Interview with Charles Simonyi

Extensible Languages

• http://www.third-bit.com/~gvwilson/xmlprog.html ; extensible abstract syntax
• http://www.paulgraham.com/onlisp.html ; extension via macros and language embedding

---

Interpreters and Partial Evaluation

Partial evaluators

• Tempo Specializer - A Partial Evaluator for C

• DyC - The UW Dynamic Compilation Project

• `C: high-level dynamic code generation

Template meta-programming

• Template Haskell
  • Tim Sheard and Simon L. Peyton Jones. Template meta-programming for Haskell. SIGPLAN Notices 37(12): 60-75 (2002)

• MetaAspectJ?

• C++ templates

Multi-stage programming

• Multi-stage Programming (MSP)

• Walid Taha. A Gentle Introduction to Multi-stage Programming. DSPG'04

• MetaML
  • Walid Taha and Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
  • Tim Sheard. Accomplishments and Research Challenges in Meta-programming. SAIG 2001: 2-44

• MetaOCaml

---

Separation of Concerns

Adaptive programming

• Demeter

Aspect-oriented programming

• AspectJ? : aspect language on top of Java

• Splice: aspects with data-flow analysis

• Inject/J: weaving scripts

Subject-Oriented Programming

• William H. Harrison, Harold L. Ossher, Peri L. Tarr. Asymmetrically vs. Symmetrically Organized Paradigms for Software Composition

Hyperspace Programming

• HyperJ?

Strategic programming

• Stratego

• Strafunski

• JJForester -- Visitor combinators
  • Joost Visser. Visitor Combination and Traversal Control. OOPSLA 2001: 270-282
  • Tobias Kuipers and Joost Visser. Object-oriented tree traversal with JJForester. Sci. Comput. Program. 47(1): 59-87 (2003)

• Scrap your boilerplate
  • Ralf Lämmel and Simon L. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. TLDI 2003: 26-37

Generic programming

• Polytypic programming
• Generic Haskell

---

Program Transformation

• Invasive software composition
• Optimization
• Instrumentation