LDTA 2004 Program

Proceedings 

• 9:00-9:05 Welcome
• 9:05-10:05 Invited talk (chairs: Görel Hedin and Eric van Wyk)
  • TXL - A Language for Programming Language Tools and Applications. Jim Cordy
• coffee
• 10:30-12:30 Formal Methods and Language Analysis (chair: Paul Klint)
  • Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. Shirley Goldrei and Anthony Sloane (30 min)
  • Model Checking Multithreaded Programs by Means of Reduced Models. Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini (30 min)
  • Calife: a Generic Graphical User Interface for Automata Tools (Tool Demonstration). Bertrand Tavernier (30 min)
  • Language Analysis and Tools for Ambiguous Input Streams. Andrew Begel and Susan L. Graham (30 min)
• lunch
• 14:00-15:50 Parsing Tools (chair: Ganesh Sittampalam)
  • The Grammar Tool Box: a case study comparing GLR parsing algorithms. Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos (30 min)
  • The GTB and PAT tools (Tool Demonstration). Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos (20 min)
  • Parameterized LR Parsing. Peter Thiemann, Matthias Neubauer (30 min)
  • Semantics-preserving migration of semantic rules after left recursion removal in attribute grammars. Wolfgang Lohmann, Gunter Riedewald, Markus Stoy (30 min)
• coffee
• 16:30-17:20 Action Semantics Tools (chair: Tony Sloane)
  • An Action Environment. Mark van den Brand, Jørgen Iversen, Peter D. Mosses (30 min)
  • The Action Environment (Tool demonstration). Mark van den Brand, Jørgen Iversen, Peter D. Mosses (20 min)
• 17:20-17:45 Closing discussion (chairs: Görel Hedin and Eric van Wyk)

Last update: Monday, 29-Mar-2004 14:25:26 CEST