Electronic Notes in Theoretical Computer Science, Volume 110

Volume 110, December 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