10. LDTA 2010: Paphos, Cyprus (Part of ETAPS 2010)

Claus Brabrand, Pierre-Etienne Moreau (Eds.): 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

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/BrabrandM10
- ask others
Claus Brabrand, Pierre-Etienne Moreau: Preface.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/Giavitto10
- ask others
Jean-Louis Giavitto: A domain specific language for complex natural and artificial systems simulations. 1

Program Analysis

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/HoldermansH10
- ask others
Stefan Holdermans, Jurriaan Hage: On the rôle of minimal typing derivations in type-driven program transformation. 2
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/CruzHP10
- ask others
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. 3
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/CortesiH10
- ask others
Agostino Cortesi, Raju Halder: Dependence condition graph for semantics-based abstract program slicing. 4

Grammars

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/BastenV10
- ask others
Hendrikus J. S. Basten, Jurgen J. Vinju: Faster ambiguity detection by grammar filtering. 5
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/JohnstoneS10
- ask others
Adrian Johnstone, Elizabeth Scott: Tear-Insert-Fold grammars. 6

Mixed LDTA Topics

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/JansenPKA10
- ask others
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten: Embedding a web-based workflow management system in a functional language. 7
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/GiorgettiMTK10
- ask others
Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko: Specifying generic Java programs: two case studies. 8
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/Bagge10
- ask others
Anya Helene Bagge: Language description for front end implementation. 9

Domain-Specific Languages

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/KlintSV10
- ask others
Paul Klint, Tijs van der Storm, Jurgen J. Vinju: On the impact of DSL tools on the maintainability of language implementations. 10
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/Freudenthal10
- ask others
Margus Freudenthal: Using DSLs for developing enterprise systems. 11
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ldta/BrandMSH10
- ask others
Mark van den Brand, A. P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp: Formally specified type checkers for domain specific languages: experience report. 12