Course Schedule

Sgc
Unscheduled topics:
   * Traits, mixins, inter-type declarations, nested inheritance, refines, classage
   * Transformation interaction, DSL interaction, aspect ordering

--------++ Week 46

---+++ Thursday, November 17

Topic: Introduction

   * An Overview of Generative Software Development
      * http://swen.uwaterloo.ca/~kczarnec
      * http://swen.uwaterloo.ca/~kczarnec/gsdoverview.pdf

--------++ Week 47

---+++ Tuesday, November 22

Topic: Aspect Oriented Programming

   * An Overview of <nop>AspectJ
      * See [[Aspect Oriented Programming]]

---+++ Thursday, November 24

Topic: Feature Oriented Programming

   * A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite
      * http://www.cs.utexas.edu/users/schwartz/pub.htm
      * http://www.cs.utexas.edu/users/dsb/AHEADCourse.html

--------++ Week 48

---+++ Tuesday, November 29

Topic: [[ActiveLibrariesAndDomainSpecificOptimization][Active libraries]]

   * Guyer
      * Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries. Proceedings of the IEEE: Special Issue on Program Generation, Optimization, and Platform Adaptation
      * Sam Guyer and Calvin Lin. An Annotation Language for for Optimizing Software Libraries. In Second Conference on Domain-Specific Languages (1998?). 
   * Engler
      * Interface compilation: Steps toward compiling program interfaces as languages
      * Incorporating application semantics and control into compilation
   * Stroustrup
      * A Rationale for Semantically Enhanced Library Languages


---+++ Thursday, December 1

Topic: Introducing Domain Specific Syntax in a General Purpose Language

   * [[Syntax Macros]]
      * Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. [[http://www.brics.dk/bigwig/publications/#bigwig][The &lt;bigwig&gt; project]]
      * Claus Brabrand and Michael I. Schwartzbach. [[http://www.brics.dk/bigwig/publications/#macro][Growing Languages with Metamorphic Syntax Macros]]
   * <nop>MetaBorg
      * M. Bravenboer and E. Visser. [[http://www.cs.uu.nl/wiki/Visser/ConcreteSyntaxForObjects][Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions.]]
   * Language Oriented Programming
      * Martin Fowler. [[http://www.martinfowler.com/articles/languageWorkbench.html][Language Workbenches: The Killer-App for Domain Specific Languages?]]
      *  Sergey Dmitriev. [[http://www.onboard.jetbrains.com/is1/articles/04/10/lop/][Language Oriented Programming: The Next Programming Paradigm]] (see sidebar for pdf link).

--------++ Week 49

---+++ Tuesday, December 6

Topic: Annotations, Metadata and Annotation Processing

   * Read the articles marked with ** in the topic [[Annotation Processing]]. If you have time, then we also advice the articles marked with *. If you have loads of time, then you can just read everything ;) .

---+++ Thursday, December 8

Topic: Invasive Software Composition

   * Read the articles marked with ** in the topic [[Invasive Software Composition]].

--------++ Week 50

---+++ Tuesday, December 13

Topic: [[Code Generation]] in Practice

   * Read the articles marked with ** in the section [[Code Generation]]: Solutions in Practice

---+++ Thursday, December 15

Topic: [[Code Generation]] in Research

   * Template metaprogramming for Haskell
   * Meta-Programming with Concrete Object Syntax
   * Generating <nop>AspectJ Programs with Meta-AspectJ
   * Statically Safe Program Generation with <nop>SafeGen

--------++ Week 51

---+++ Tuesday, December 20

Topic: [[Multi Stage Programming]]

   * Chapters 1, 2 and 3 of [[http://www.cs.rice.edu/~taha/publications/thesis/thesis.pdf][Multi-Stage Programming: Its Theory and Applications]]
   * [[http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf][A Gentile Introduction to Multi-Staging Programming]]
   * [[http://www.metaocaml.org/doc/Tutorial%202004.pdf][Multi-Stage Programming in MetaOCaml]]

After this session, we will discuss the report in more detail.

---+++ Thursday, December 22

Topic: [[Open Compilers]]

   *  Selection of papers to read will be published later

--------++ Week 52

   * no meetings

--------++ Week 1

   * Thursday, January 5
      * tba

--------++ Week 2

   * Tuesday, January 10
      * tba

   * Thursday, January 12
      * tba

--------++ Week 3

   * Tuesday, January 17
      * tba

   * Thursday, January 19
      * tba

--------++ Week 4

   * Tuesday, January 24
      * tba

   * Thursday, January 26
      * tba

-------------+ Schedule for 2004-2005 seminar

The seminar will consist of two meetings a week with one or two presentations in each meeting. A more detailed schedule will be composed at the start of the seminar.

<noautolink>
| *Week* | *Day* | *Track*                              | *Presenter*        | *Topic/Paper* | 
| 47     | Tue   | [[Software Variability Management]]  | Eelco Visser       | On the Notion of Variability in Software Product Lines |
|        |       | Introduction                         | Eelco Visser       | | 
|        | Thu   | [[Open Compilers]]                   | Martin Bravenboer  | <nop>OpenJava | 
|        |       | [[Open Compilers]]                   | Martin Bravenboer  | Meta-Object Protocols | 
| 48     | Tue   | [[ActiveLibrariesAndDomainSpecificOptimization][Active Libraries]] | Karl Kalleberg     | Generative Programming and Active Libraries | 
|        |       | [[Syntax macros]]                    | Martin Bravenboer  | Growing languages with meta-morphic syntax macros|
|        | Thu   | [[Separation of Concerns]] / [[Aspect Oriented programming]] | Martin Bravenboer | An Overview of <nop>AspectJ |
|        |       | [[Architecture Systems]]             | Mart Kolthof | Ménage / xADL 2.0 : An Infrastructure for the Rapid Development of XML-based Architecture Description Languages  | 
| 49     | Tue   | [[Open Compilers]]                   | Roy van den Broek | <nop>PolyGlot |
|        |       | [[Multi Stage Programming]]          | Remco Burema | A Gentle Introduction to Multi-stage Programming | 
|        | Thu   | [[Separation of Concerns]] / [[Aspect Oriented programming]] | Koen Muilwijk | Inject/J : Source-to-Source Transformation In The Large|
|        |       | [[Domain Specific Languages]]        | Ingmar Brouns | Modular Domain Specific Languages and Tools |
| 50     | Tue   | [[ActiveLibrariesAndDomainSpecificOptimization][Active Libraries]] | Christof Douma | Broadway compiler |
|        |       | [[Template meta-programming]]        | Arie Middelkoop | Template meta-programming for Haskell |
|        | Thu   | [[Separation of Concerns]] / [[Hyperspace Programming]] | Raymon van Wanrooij | Multi-Dimensional Separation of Concerns and The Hyperspace Approach |
|        |       | [[Domain Specific Languages and Generators]] | Peter van Keeken | The Death of Computer Languages, The Birth of [[Intentional Programming]] |
| 51     | Tue   | [[Syntax macros]]                    | Patrick Camphuijsen | Syntactic Abstraction in Scheme |
|        |       | [[Domain Specific Languages]]        | Ivaylo Gochkov | Composing contracts: an adventure in financial engineering |
|        | Thu   | [[Invasive Software Composition]]    | Christof Douma | Concepts of Invasive Software Composition |
|        |       | [[ActiveLibrariesAndDomainSpecificOptimization][Active Libraries]] | Arie Middelkoop | FFTW |
| 52     | Vacation ||||
| 53     | Vacation ||||
| *Week* | *Day* | *Track*                              | *Presenter*        | *Topic/Paper* | 
| 1      | Tue   | [[Component systems]]                | Raymon van Wanrooij | Koala / Building Product Populations with Software Components |
|        |       | [[Partial evaluators]]               | Ingmar Brouns | Introduction to Partial Evaluation by Jones et al. |
|        | Thu   | [[Software product lines]]           | Koen Muilwijk | Achieving Extensibility Through Product-Lines and Domain-Specific Languages |
| 2      | Tue   | [[Dynamic Code Generation]]          | Remco Burema | 'C: a language for high-level, efficient, and machine-independent dynamic code generation |
|        |       | [[Aspect Oriented Programming]]      | Patrick Camphuijsen | XAspects: an extensible system for domain-specific aspect languages |
|        | Thu   | [[Software product lines]]           | Ingmar Brouns | Using <nop>AspectJ/HyperJ to Implement Product-Lines |
|        |       | [[Syntax Macros]]                    | Roy van den Broek | Maya: multiple-dispatch syntax extension in Java |
| 3      | Tue   | [[Workflow Systems]]                 | Arie Middelkoop | Workflow Patterns |
|        |       | [[Syntax Macros]]                    | Ivaylo Gochkov | <nop>MetaBorg: Concrete Syntax for Objects |
|        | Thu   | [[Reflective languages]]             | Christof Douma | Smalltalk: a Reflective Language |
|        |       | [[Partial Evaluators]]               | Mart Kolthof | A Type Specialisation Tutorial |
| 4      | Tue   | [[Active Libraries And Domain Specific Optimization]] | Raymon van Wanrooij | Magik / Interface compilation: Steps toward compiling program interfaces as languages |
|        |       | [[Domain Specific Languages]]        | Patrick Camphuijsen | DSL Implementation in <nop>MetaOCaml, Template Haskell, and C++ |
|        | Thu   | [[Reflective languages]]             | Roy van den Broek | Load-time structural reflection in Java |
|        |       | [[Program transformation]]           | Ivaylo Gochkov | <nop>FreshO'Caml |
| 5      | Tue   | [[Attribute Programming]]            | Koen Muilwijk  | <nop>XDocLet |
|        |       | [[Domain Specific Languages]]        | Mart Kolthof | Language-Oriented Programming (+ blog discussions) |
</noautolink>