Venues / SLE /

SLE 2013

20 papers

A Generic Framework for Symbolic Execution · Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
A Language Independent Task Engine for Incremental Name and Type Analysis · Guido Wachsmuth, Gabriël D. P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation · Papa Issa Diallo, Joël Champeau, Loïc Lagadec
A Pretty Good Formatting Pipeline · Anya Helene Bagge, Tero Hasu
Circular Higher-Order Reference Attribute Grammars · Emma Söderberg, Görel Hedin
Dark Knowledge and Graph Grammars in Automated Software Design · Don S. Batory, Rui C. Gonçalves, Bryan Marker, Janet Siegmund
Detecting Ambiguity in Programming Language Grammars · Naveneetha Vasudevan, Laurence Tratt
Developing a Domain-Specific Language for Scheduling in the European Energy Sector · Stefan Sobernig, Mark Strembeck, Andreas Beck
Mapping-Aware Megamodeling: Design Patterns and Laws · Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Method and Tool Support for Classifying Software Languages with Wikipedia · Ralf Lämmel, Dominik Mosen, Andrei Varanovich
Micro-Machinations - A DSL for Game Economies · Paul Klint, Riemer van Rozen
Micropatterns in Grammars · Vadim Zaytsev
Partial Instances via Subclassing · Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
Reifying Concurrency for Executable Metamodeling · Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry + 1 more
Safe Specification of Operator Precedence Rules · Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen J. Vinju
Software Evolution to Domain-Specific Languages · Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge · Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook + 16 more
Variability Support in Domain-Specific Language Development · Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoît Combemale
Whiley: A Platform for Research in Software Verification · David J. Pearce, Lindsay Groves
xMOF: Executable DSMLs Based on fUML · Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel