default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th SLE 2013: Indianapolis, IN, USA
- Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4
Invited Talk
- Don S. Batory, Rui C. Gonçalves
, Bryan Marker, Janet Siegmund:
Dark Knowledge and Graph Grammars in Automated Software Design. 1-18
Domain-Specific Languages
- Stefan Sobernig, Mark Strembeck, Andreas Beck:
Developing a Domain-Specific Language for Scheduling in the European Energy Sector. 19-35 - Paul Klint, Riemer van Rozen:
Micro-Machinations - A DSL for Game Economies. 36-55 - Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel:
xMOF: Executable DSMLs Based on fUML. 56-75
Language Patterns and Evolution
- Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoît Combemale:
Variability Support in Domain-Specific Language Development. 76-95 - Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann:
Software Evolution to Domain-Specific Languages. 96-116 - Vadim Zaytsev:
Micropatterns in Grammars. 117-136
Grammars
- Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen J. Vinju:
Safe Specification of Operator Precedence Rules. 137-156 - Naveneetha Vasudevan, Laurence Tratt:
Detecting Ambiguity in Programming Language Grammars. 157-176 - Anya Helene Bagge, Tero Hasu:
A Pretty Good Formatting Pipeline. 177-196
Tools
- Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning:
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. 197-217 - Papa Issa Diallo, Joël Champeau, Loïc Lagadec:
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation. 218-237 - David J. Pearce, Lindsay Groves:
Whiley: A Platform for Research in Software Verification. 238-248 - Ralf Lämmel, Dominik Mosen, Andrei Varanovich:
Method and Tool Support for Classifying Software Languages with Wikipedia. 249-259
Language Analysis
- Guido Wachsmuth, Gabriël D. P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser:
A Language Independent Task Engine for Incremental Name and Type Analysis. 260-280 - Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
A Generic Framework for Symbolic Execution. 281-301 - Emma Söderberg, Görel Hedin:
Circular Higher-Order Reference Attribute Grammars. 302-321
Meta- and Megamodelling
- Zinovy Diskin, Sahar Kokaly, Tom Maibaum:
Mapping-Aware Megamodeling: Design Patterns and Laws. 322-343 - Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski:
Partial Instances via Subclassing. 344-364 - Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France:
Reifying Concurrency for Executable Metamodeling. 365-384
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.
last updated on 2024-11-22 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
