LDTA 2003 Final Program 6 April 2003

(as of 10 Feb 2003)

09:00-10:30 Session 1 (Chair Barrett Bryant):
- 09:00-09:05 Welcome
- 09:05-09:35 A Framework for Datatype Transformation, Jan Kort and Ralf Laemmel
- 09:35-10:30 An Abstract and Reusable Programming Language Architecture, Hassan Aït Kaci
-- coffee --
11:00-12:30 Session 2: (Chair João Saraiva)
- 11:00-11:30 Refactoring: Current Research and Future Trends, Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, and Pieter Van Gorp
- 11:30-12:00 Coverage-driven Automated Compiler Test Suite Generation, A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin, and V. Shishkov
- 12:00-12:30 A Formally Verified Register Allocation Framework, Kent Lee
-- lunch --
14:00-16:00 Session 3: (Chair Marjan Mernik)
- 14:00-14:30 Circular Reference Attributed Grammars - Their Evaluation and Applications, Eva Magnusson and Gorel Hedin
- 14:30-15:00 Aspects as Modular Language Extensions, Eric Van Wyk
- 15:00-15:30 Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation, M. G. J. van den Brand, A. S. Klusener, L. Moonen, and J. J. Vinju
- 15:30-16:00 The metafront System: Extensible Parsing and Transformation, Claus Brabrand, Michael I. Schwartzbach, and Mads Vanggaard
-- coffee --
16:30-18:30 Session 4 (Chair Thomas Noll)
- 16:30-17:00 Exploiting XPG for Visual Languages: Definition, Analysis and Development, G. Costagliola, V. Deufemia, F. Ferrucci, and C. Gravino
- 17:00-17:30 Mixing Two Bibliography Style Languages, Jean-Michel Hufflen
- 17:30-18:00, CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment, Marisol Sanchez-Alonso, Juan M. Murillo, and Juan Hernandez
- 18:00-18:30 Discussion and Closing by Barrett Bryant and João Saraiva

To download the entire proceedings as a tgz file, click here .