Fifth Stratego User Days Program
Stratego -- Strategies for Program Transformation
| Monday | Stratego Development | |
|---|---|---|
| 9:00 | Eelco Visser | Stratego/XT in 2003 |
| Program Overview | ||
| StrategoCompiler | ||
| Announcement: C transformation system | ||
| 10:00 | Martin Bravenboer | StrategoShell |
| 10:30 | Break | |
| 11:00 | Martin Bravenboer | StrategoRegular XmlTools? |
| StrategoBox ParseUnit | ||
| 11:45 | Merijn de Jonge | Generic pretty-printing in Stratego/XT |
| 12:05 | Rob Vermaas | xDoc: an Extendible Documentation Generator |
| 12:30 | Lunch | |
| 13:30 | Jan Heering | Higher-order abstract syntax and higher-order rewriting |
| 14:30 | Ganesh Sitampalam | Higher-order matching in MAG |
| 15:00 | Break | |
| free | ||
| 19:00 | Dinner in Casa di David | |
| Tuesday | CodeBoost / Transforming Imperative Programs | |
| 9:00 | Ganesh Sitampalam | Regular path queries |
| 10:00 | Karina Olmos | Data-flow optimizations |
| 10:30 | Break | |
| 11:00 | Magne Haveraaen | Philosophy behind CodeBoost |
| CodeBoost Agenda | ||
| 12:00 | Karl Trygve Kalleberg | Extending CodeBoost to new languages |
| 12:30 | Lunch | |
| 14:00 | Karl Trygve Kalleberg | Abstract specification of transformations |
| 14:30 | Robert Anisko | The Epita C++ toolset |
| Stratego/XT at Epita | ||
| 15:00 | Otto Skrove Bagge | Infrastructure for C transformation systems |
| 15:30 | Break | |
| 16:00 | Forum: architecture of a joint C/C++ transformation toolset | |
| 19:00 | Dinner in Restaurant Ajanta | |
| Wednesday | Applications and Deployment | |
| 9:00 | Arthur van Dam | What are dynamic rules anyway? Applications and new ideas. |
| 9:45 | Eelco Visser | Partial Evaluation |
| 10:30 | Break | |
| 11:00 | Dick Kieburtz | A theorem prover for Haskell |
| 11:45 | Eelco Visser | Variation points in programming with concrete syntax |
| 12:30 | Lunch | |
| 14:00 | Martin Bravenboer | XTC Shell |
| 14:30 | Niels Janssen | Contracts in XTC |
| 15:00 | Eelco Dolstra | Release Management for Stratego/XT with Nix |
| 15:30 | Break | |
| 16:00 | Forum: Plans for the future | |
Dinner Monday
Casa di DavidOudegracht 88 a/d werf
3511 AV Utrecht
030 2368436
utrecht@casadidavid.com
http://www.casadidavid.com/
Dinner Tuesday
Indiaas Restaurant AjantaOudegracht 207
Utrecht
030 231 80 63
http://www.ajanta.nl/inutr.html