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.