Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

no DBLP info
Full names Links ISxN
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications}",
	volume        = 110,
	year          = 2004,


  • Organising Committee: Isabelle Attali, Thomas Noll, João Saraiva
  • Program Chairs: Görel Hedin, Eric Van Wyk
  • Program Committee: John Boyland, Olivier Danvy, José Emilio Labra Gayo, Paul Klint, Jens Knoop, Erik Meijer, Didier Parigot, Paul Roe, Ganesh Sittampalam, Anthony M. Sloane, Yannis Smaragdakis, S. Doaitse Swierstra, Kris De Volder
  • Contents (11 items)

    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.
    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.

    Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
    Hosted as a part of SLEBOK on GitHub.