![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.