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

@proceedings{LDTA-2010,
	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,
}

Committee

Contents (12 items)

4 ×#domain-specific language
2 ×#case study
2 ×#implementation
2 ×#on the

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.

LDTA-2010-JohnstoneS

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.