


default search action
10th LDTA 2010: Paphos, Cyprus (Part of ETAPS 2010)
- Claus Brabrand, Pierre-Etienne Moreau:

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. ACM 2010, ISBN 978-1-4503-0063-6
Preface and Invited Talk
- Claus Brabrand, Pierre-Etienne Moreau:

Preface. LDTA 2010 - Jean-Louis Giavitto

:
A domain specific language for complex natural and artificial systems simulations. 1
Program Analysis
- Stefan Holdermans, Jurriaan Hage

:
On the rôle of minimal typing derivations in type-driven program transformation. 2 - Daniela Carneiro da Cruz, Pedro Rangel Henriques

, Jorge Sousa Pinto
:
GamaSlicer: an online laboratory for program verification and analysis. 3 - Agostino Cortesi

, Raju Halder
:
Dependence condition graph for semantics-based abstract program slicing. 4
Grammars
- Hendrikus J. S. Basten, Jurgen J. Vinju

:
Faster ambiguity detection by grammar filtering. 5 - Adrian Johnstone, Elizabeth Scott:

Tear-Insert-Fold grammars. 6
Mixed LDTA Topics
- Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten:

Embedding a web-based workflow management system in a functional language. 7 - Alain Giorgetti

, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
:
Specifying generic Java programs: two case studies. 8 - Anya Helene Bagge

:
Language description for front end implementation. 9
Domain-Specific Languages
- Paul Klint, Tijs van der Storm, Jurgen J. Vinju

:
On the impact of DSL tools on the maintainability of language implementations. 10 - Margus Freudenthal:

Using DSLs for developing enterprise systems. 11 - Mark van den Brand

, Arjan P. van der Meer, Alexander Serebrenik
, Albert T. Hofkamp:
Formally specified type checkers for domain specific languages: experience report. 12

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














