Programme of LDTA


SATURDAY, April 3

9.00
9.05
Welcome and openning.
9.05
10.05
Invited talk

TXL - A Language for Programming Language Tools and Applications.
Jim Cordy
10.05
10.30
Coffee

Formal Methods and Language Analysis
10.30
12.30
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties.
Shirley Goldrei and Anthony Sloane
Model Checking Multithreaded Programs by Means of Reduced Models.
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Calife: a Generic Graphical User Interface for Automata Tools (Tool Demonstration).
Bertrand Tavernier
Language Analysis and Tools for Ambiguous Input Streams.
Andrew Begel and Susan L. Graham
12.30
14.00
Lunch

Parsing Tools
14.00
15.50
The Grammar Tool Box: a case study comparing GLR parsing algorithms.
Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos
The GTB and PAT tools (Tool Demonstration).
Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos
Parameterized LR Parsing.
Peter Thiemann, Matthias Neubauer
Semantics-preserving migration of semantic rules after left recursion removal in attribute grammars.
Wolfgang Lohmann, Gunter Riedewald, Markus Stoy
15.50
16.30
Coffee

Action Semantics Tools
16.30
17.20
An Action Environment.
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
The Action Environment (Tool demonstration).
Mark van den Brand, Jørgen Iversen, Peter D. Mosses
17.20
17.45
Closing Discussion
Evening Post-Conference Workshops Dinner