CAS 761: Generative Programming
Class: Monday, Friday 1:00-2:30, ITB 222.
The course will cover, through discussion and readings of important
papers in the area, the related topics of generative programming,
Domain Specific Languages, generic programming and
program families. 60% of the mark will be given for leading class
discussion of each assigned paper, and 40% on a small project.
Papers which have been presented:
Papers that will be presented (i.e. claimed):
Further papers to choose from:
Note that some of the links above are to the author's private copy of the
paper, and may not represent the final typesetting of the article by the
publisher. Links to the published version will be added too, as time
Tecton: A Framework for Specifying and Verifying Generic System Components,
D. Kapur, D.R. Musser.
- Declaratively Programming the Mobile Web with Mobl, Zef Hemel, Eelco Visser.
- DSL implementation in MetaOCaml, Template Haskell and C++,
Czarnecki, K., J. O'Donnell, J. Striegnitz, and W. Taha.
- Multi-stage programming with Functors and Monads: eliminating abstraction overhead from generic code, J.Carette and O. Kiselyov.
- OMeta: an Object-Oriented Language for Pattern Matching, A. Warth and I. Piumarta.
- Lightweight Modular Staging, Tiark Rompf and Martin Odersky.
- Engineering Definitional Interpreters, Jan Midtgaard, Norman Ramsey, Bradford
- First-class Runtime Generation of High-performance Types using Exotypes, Zachary DeVito, Daniel Ritchie, Matt Fisher, Alex Aiken, Pat Hanrahan.
- Design of Concept Libraries for C++ A. Sutton and B. Stroustrup.
- Design Patterns as Higher-Order Datatype-Generic Programs, J. Gibbons.
An Extended Comparative Study of Language Support for Generic Programming,
R. Garcia, J. Jaarvi, J. Siek, A. Lumsdaine, J. Willcock.
- paper: Typed Tagless Final Interpreters ; the
course notes are freely
downloadable. By Oleg Kiselyov.
- Finally tagless, partially evaluation: tagless staged interpreters for simpler typed languages, J. Carette, O. Kiselyov and C-c. Shan
Program Generation, Termination and Binding-time Analysis N.D. Jones
and A.J. Glenstrup.
- A Language for Generic Programming in the Large, J. Siek and A. Lumsdaine.
- Compiling for Run-time Code Generation F. Smith, D. Grossman,
G. Morrisett, L. Hornof and T. Jim.
- Extensible Object Models, I. Piumarta, A. Warth.
- Open, Reusable Object Models, I. Piumarta and A. Warth
- RASCAL: a Domain Specific Language for Source Code Analysis and Manipulation,
P. Klint, T. van der Storm, J.J. Vinju.
- What is generic programming? by G. Dos Reis and J. Jaarvi.
- A software engineering experiment in software component generation, R. Kieburtz, L. McKinney, J. Bell, J. Hook, A. Kotov, J. Lewis, D. Olive, T. Sheard, I. Smith, L. Walton.
Also useful is this glossary
of terminology around generative programming. Further references can be
found on the web page
for a fall 2002 grad course by W. Taha.