Proceedings of the Eighth Workshop on Language Descriptions, Tools and Applications
LDTA, 2009.
@proceedings{LDTA-2008,
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 5,
title = "{Proceedings of the Eighth Workshop on Language Descriptions, Tools and Applications}",
volume = 238,
year = 2009,
}
Committee
Program Chairs: Adrian Johnstone, Jurgen J. VinjuContents (10 items)
- LDTA-2008-AllwoodE09 #java
- Tickling Java with a Feather (TORA, SE), pp. 3–16.
- LDTA-2008-BaggeH09 #axiom #optimisation #testing
- Axiom-Based Transformations: Optimisation and Testing (AHB, MH), pp. 17–33.
- LDTA-2008-Basten09 #ambiguity #context-free grammar #detection #usability
- The Usability of Ambiguity Detection Methods for Context-Free Grammars (BB), pp. 35–46.
- LDTA-2008-ChilowiczDR09 #source code
- Finding Similarities in Source Code Through Factorization (MC, ÉD, GR), pp. 47–62.
- LDTA-2008-Jonge09 #component #product line
- Developing Product Lines with Third-Party Components (MdJ), pp. 63–80.
- LDTA-2008-Dolstra09 #domain-specific language #functional #lazy evaluation #performance
- Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.
- LDTA-2008-DemailleDPS09 #ambiguity #comparison #semantics
- Semantics Driven Disambiguation: A Comparison of Different Approaches (AD, RD, NP, BS), pp. 101–116.
- LDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #functional #source code #using
- Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
- LDTA-2008-LammelTK09 #fault #programming #source code #traversal
- Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.
- LDTA-2008-Nilsson-NymanHME09 #analysis #declarative #java #source code
- Declarative Intraprocedural Flow Analysis of Java Source Code (ENN, GH, EM, TE), pp. 155–171.