Volume 110, December 2004

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (LDTA 2004)

• 
  Görel Hedin, Eric Van Wyk: Preface. 1-2
• 
  James R. Cordy: TXL - A Language for Programming Language Tools and Applications . 3-31
• 
  Shirley Goldrei, Anthony M. Sloane: Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. 33-54
• 
  Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini: Model Checking Multithreaded Programs by Means of Reduced Models. 55-74
• 
  Andrew Begel, Susan L. Graham: Language Analysis and Tools for Ambiguous Input Streams. 75-96
• 
  Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos: The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms. 97-113
• 
  Peter Thiemann, Matthias Neubauer: Parameterized LR Parsing. 115-132
• 
  Wolfgang Lohmann, Günter Riedewald, Markus Stoy: Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars. 133-148
• 
  Mark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. 149-168
• 
  Bertrand Tavernier: Calife: A Generic Graphical User Interface for Automata Tools. 169-172
• 
  Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos: The GTB and PAT tools. 173-175
• 
  Mark van den Brand, Jørgen Iversen, Peter D. Mosses: The Action Environment: -- Tool Demonstration --. 177-180