Saturday 7, April

Opening session

9:30 -  9:45 Welcome (Didier Parigot, Mark van den Brand)

SESSION 1: chaired by Didier Parigot

9:45 - 10:45 Invited Talk: Paul Klint  Title to be announced.

Tool demonstration 1:
10:45 - 11:00 M.G.J. van den Brand et al.
                       The ASF+SDF Meta-Environment: a Component-Based
                       Language Development Environment.

11:00 - 11:30 Coffee break

SESSION 2: chaired by Mark van den Brand

11:30 - 11:55 Ralf Lämmel and Guido Wachsmuth.
                       Transformation of SDF syntax definitions in the
                       ASF+SDF Meta-Environment.

11:55 - 12:20 Tobias Kuipers and Joost Visser.
                       Object-oriented tree traversal with JJForester.

12:20 - 12:45 Görel Hedin and Eva Magnusson.
                       JastAdd - a Java-based system for implementing frontends.

Tool demonstration 2:
12:45 - 13:00 Merijn de Jonge, Eelco Visser, and Joost Visser.
                       XT: a bundle of program transformation tools.
 

13:00 - 14:30 Lunch
 

SESSION 3: chaired by Marjan Mernik

14:30 - 14:55 Kyung-Goo Doh and Peter D. Mosses.
                       Composing programming languages by combining
                       action-semantics modules.

14:55 - 15:20 J. E. Labra Gayo, M. C. Luengo Díez, J. M. Cueva Lovelle,
                        and A. Cernuda del Río.
                        LPS: A language prototyping system using modular monadic
                        semantics.

15:20 - 15:45 Ralf Lämmel and Günter Riedewald.
                       Prological language processing.

Tool demonstration 3:
15:45 - 16:00 Luis Menezes, Hermano Moura, Wanderley Cansanção,
                       Francisco Lima, and Leonardo Ribeiro.
                       An action semantics IDE.

16:00 - 16:30  Coffee break

SESSION 4: chaired by Eelco Visser

16:30 - 16:55 Pierre-Etienne Moreau, Christophe Ringeissen, and Marian
                       Vittek.
                       A pattern-matching compiler.

16:55 - 17:20 Keisuke Nakano and Susumu Nishimura.
                       Deriving event-based document transformers from tree-based
                       specifications.

17:20 - 17:45 Thomas Noll.
                       A rewriting logic implementation of Erlang.

Tool demonstration 4:
17:45 - 18:00 D. Parigot et al.
                       SmartTools: a Generator of Interactive Environments Tools.

Closing session

18:00 - 18:05 Closing (Didier Parigot, Mark van den Brand)