Programme of LDTA at ETAPS 2008

(Eighth Workshop on Language Descriptions, Tools and Applications)

Saturday, April 5, room: Ybl

09:00 - 10:30 SESSION 1

Opening session

Invited talk

Robert M. Fuhrer (IBM TJ Watson Research)

Developing Product Lines with 3rd-Party Components

Merijn de Jonge (Philips Research)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Disambiguation, and control flow analysis

Semantics Driven Disambiguation: A comparison of different approaches

Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoit Sigoure (EPITA Research and Development Laboratory)

The Usability of Ambiguity Detection Methods for Context-Free Grammars

H.J.S. Basten (Centrum voor Wiskunde en Informatica)

Declarative Intraprocedural Flow Analysis of Java Source Code

Emma Nilsson-Nyman, Gorel Hedin, Eva Magnusson (Lund University), Tobjorn Ekman (University of Oxford)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Traversals, source code similarities and interpreters

Programming errors in traversal programs over structured data

Ralf Laemmel (University of Koblenz-Landau), Simon Thompson (University of Kent), Markus Kaiser (University of Koblenz-Landau)

Finding similarities in source code through factorization

Michel Chilowicz, Etienne Duris, Giles Roussel (Universite Paris-Est)

Maximal Laziness—An Efficient Interpretation Technique for Purely Functional DSLs

Eelco Dolstra (Utrecht University)

Abstract Interpretation of Functional Programs using an Attribute Grammar System

Jeroen Fokker, S. Doaitse Swierstra (Utrecht University)

16:00 - 16:30 Coffee

16:30 - 18:15 SESSION 4

Testing, and tool demonstrations

Tickling Java with a Feather

Tristant O.R. Allwood, Susan Eisenbach (Imperial College London)

Axiom-Based Transformation for Optimisation and Testing

Anya Helene Bagge, Magne Haveraaen (University of Bergen)

Tool demonstration: Generating Editors for Embedded Languages—Integrating SGLR into IMP

Lennart Kats, Karl Trygve Kalleberg, Eelco Visser (Delft University of Technology)

Tool Demonstration: Optimal Interaction Strategies using Reflection in LTS

Thomas Cleenwerck (Vrije Universiteit Brussel)

Detailed Programme Information:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA