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
Last update Wed Feb 15 05:31:36 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
