default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th LDTA@ETAPS 2004: Barcelona, Spain
- Görel Hedin, Eric Van Wyk:
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 110, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
