Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications
LDTA-2004, 2004.

@proceedings{LDTA-2004,
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications}",
	volume        = 110,
	year          = 2004,
}

Committee

Contents (11 items)

5 ×#tool support
2 ×#attribute grammar
2 ×#named
2 ×#parsing

LDTA-2004-Cordy #named #programming language #tool support #txl

TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.

LDTA-2004-GoldreiS #attribute grammar #formal method #off the shelf #using #verification

Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties (SG, AMS), pp. 33–54.

LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code #thread

Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.

LDTA-2004-BegelG #ambiguity #analysis #tool support

Language Analysis and Tools for Ambiguous Input Streams (AB, SLG), pp. 75–96.

LDTA-2004-JohnstoneSE #algorithm #case study #glr #parsing

The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms (AJ, ES, GRE), pp. 97–113.

LDTA-2004-ThiemannN #lr #parsing

Parameterized LR Parsing (PT, MN), pp. 115–132.

LDTA-2004-LohmannRS #attribute grammar #migration #recursion #semantics

Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.

LDTA-2004-BrandIM

An Action Environment (MvdB, JI, PDM), pp. 149–168.

LDTA-2004-Tavernier #automaton #named #tool support #user interface #visual notation

Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.

LDTA-2004-JohnstoneSE04a #tool support

The GTB and PAT tools (AJ, ES, GRE), pp. 173–175.

LDTA-2004-BrandIM04a #tool support

The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.