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 David
Oudegracht 88 a/d werf
3511 AV Utrecht
030 2368436
utrecht@casadidavid.com
http://www.casadidavid.com/
Dinner Tuesday
Indiaas Restaurant Ajanta
Oudegracht 207
Utrecht
030 231 80 63
http://www.ajanta.nl/inutr.html