| *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 Tools.XmlTools | | | | StrategoBox Tools.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