Fifth Stratego User Days Program

Stratego -- Strategies for Program Transformation
Monday Stratego Development
9:00 Eelco Visser Stratego/XT in 2003
    Program Overview
    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
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

Dinner Tuesday

Indiaas Restaurant Ajanta
Oudegracht 207
030 231 80 63