------------------------------------------------------------------- Call for Participation FIFTH STRATEGO USER DAYS with a special session on CodeBoost March 1 - 3, 2004 Utrecht University Utrecht, The Netherlands http://www.stratego-language.org ------------------------------------------------------------------- -------- Scope -------- The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include * Ongoing developments and plans and requirements for the future * Development tools * Compilers, interpreters, documentation generation * Transformation components and their composition * Deployment issues * Benchmarking transformations and transformed programs * Transformation techniques * Specification of (data-flow) optimizations in Stratego * Partial evaluation * Transformation systems for specific languages * C, C++, Java, XML, ... The meeting has a workshop format with talks, but also plenty of time will be reserved for discussions, code inspections, demonstrations, and time to meet individually. Since there are quite a few people with an interest in transformation of C and C++ a special session will be devoted to the design and implementation of transformation systems for these languages. We invite everyone interested in program transformation and Stratego/XT to attend the meeting and possibly to make a contribution to the meeting in the form of a talk or demonstration. Please send proposals for contributions to visser+sud04@cs.uu.nl before February 1, 2004. A list of already proposed contributions is available below. -------- Call for Participation -------- From Monday, March 1 to Wednesday, March 3, 2004 we meet at Utrecht University so that everyone interested in Stratego can get up to date with current developments, and get an overview of ongoing activities. This is a good opportunity for Master's students to see what is going on in the program transformation project. Participation is free and includes lunch. Usually we go out for dinner at night, which is at your own expense. Please register as soon as possible so that we can make reservations for lunch and dinner by sending an email to visser+sud04@cs.uu.nl. If you are coming from outside and need accomodation, you can consult the list of recommended hotels of the department. Important Dates * Proposals for contributions: February 1, 2004 * Registration for attendance: February 15, 2004 * Meeting: March 1 - 3, 2004 Venue The meeting will be held at the Uithof campus of Utrecht University. Directions --> http://www.cs.uu.nl/docs/reach/ -------- Proposed Contributions -------- Here is a list of proposed contributions, roughly divided into categories. A program will be announced later. Overview * Eelco Visser * StrategoXT developments in 2003 Development Tools * Rob Vermaas * Extendible Documentation Generation * Martin Bravenboer * StrategoShell * StrategoRegular, XmlTools, ... * Eelco Visser * Stratego Compiler * Optimizing strategies in the Stratego optimizer * Separate compilation Transformation Techniques * Jan Heering * Higher-order abstract syntax and higher-order rewriting for program transformation * Arthur van Dam * Computing with dynamic rules Transformation of Imperative Programs * Magne Haveraaen * Philosophy behind CodeBoost * Sibylle Schupp * tba * Karl Trygve Kalleberg * Raising the abstractness level of our transformations with CodeBoost * Extending CodeBoost to new languages (Java) * Otto Skrove Bagge * tba * Karina Olmos * Compilation of Octave programs * Eelco Visser / Rob Vermaas * Announcement: C transformation system Transformation of Functional Programs * Eelco Visser * Partial evaluation * Dick Kieburtz * A theorem prover for Haskell Components and Deployment * Merijn de Jonge * tba * Martin Bravenboer * XtcShell * Niels Janssen * Contracts in XTC * XWeb * Eelco Dolstra * The Nix buildfarm and automatic release management