Proceedings of the 10th 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

Claus Brabrand, Pierre-Etienne Moreau
Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications
LDTA, 2010.

Full names Links ISxN
	address       = "Paphos, Cyprus",
	editor        = "Claus Brabrand and Pierre-Etienne Moreau",
	isbn          = "978-1-4503-0063-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications}",
	year          = 2010,


  • Program Chairs: Claus Brabrand, Pierre-Etienne Moreau
  • Program Committee: Emilie Balland, John Boyland, Giorgios Robert Economopoulos, Magne Haveraaen, R. Nigel Horspool, Shan Shan Huang, Johan Jeuring, Ondrej Lhoták, Shane Markstrum, Peter D. Mosses, Klaus Ostermann, Marc Pantel, Elizabeth Scott, Eli Tilevich, Eelco Visser, Joost Visser, Tobias Wrigstad
  • Contents (12 items)

    LDTA-2010-Giavitto #domain-specific language #simulation
    A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
    LDTA-2010-HoldermansH #on the #program transformation #type system
    On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
    LDTA-2010-CruzHP #analysis #named #online #verification
    GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.
    LDTA-2010-CortesiH #dependence #graph #semantics #slicing
    Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
    LDTA-2010-BastenV #ambiguity #detection #performance
    Faster ambiguity detection by grammar filtering (BB, JJV), p. 5.
    Tear-Insert-Fold grammars (AJ, ES), p. 6.
    LDTA-2010-JansenPKA #functional #workflow
    Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
    LDTA-2010-GiorgettiMTK #case study #java #source code #specification
    Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
    LDTA-2010-Bagge #implementation
    Language description for front end implementation (AHB), p. 9.
    LDTA-2010-KlintSV #domain-specific language #implementation #maintenance #on the #tool support
    On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.
    LDTA-2010-Freudenthal #domain-specific language #enterprise #using
    Using DSLs for developing enterprise systems (MF), p. 11.
    LDTA-2010-BrandMSH #case study #domain-specific language #experience
    Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.

    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.