Software Language Engineering

1. Front Matter

   PDF

2. Invited Talk

   1. Dark Knowledge and Graph Grammars in Automated Software Design

      • Don Batory, Rui Gonçalves, Bryan Marker, Janet Siegmund

      Pages 1-18

3. Domain-Specific Languages

   1. Developing a Domain-Specific Language for Scheduling in the European Energy Sector

      • Stefan Sobernig, Mark Strembeck, Andreas Beck

      Pages 19-35

   2. Micro-Machinations

      • Paul Klint, Riemer van Rozen

      Pages 36-55

   3. xMOF: Executable DSMLs Based on fUML

      • Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel

      Pages 56-75

4. Language Patterns and Evolution

   1. Variability Support in Domain-Specific Language Development

      • Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoît Combemale

      Pages 76-95

   2. Software Evolution to Domain-Specific Languages

      • Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann

      Pages 96-116

   3. Micropatterns in Grammars

      • Vadim Zaytsev

      Pages 117-136

5. Grammars

   1. Safe Specification of Operator Precedence Rules

      • Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen Vinju

      Pages 137-156

   2. Detecting Ambiguity in Programming Language Grammars

      • Naveneetha Vasudevan, Laurence Tratt

      Pages 157-176

   3. A Pretty Good Formatting Pipeline

      • Anya Helene Bagge, Tero Hasu

      Pages 177-196

6. Tools

   1. The State of the Art in Language Workbenches

      • Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook et al.

      Pages 197-217

   2. A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation

      • Papa Issa Diallo, Joël Champeau, Loïc Lagadec

      Pages 218-237

   3. Whiley: A Platform for Research in Software Verification

      • David J. Pearce, Lindsay Groves

      Pages 238-248

   4. Method and Tool Support for Classifying Software Languages with Wikipedia

      • Ralf Lämmel, Dominik Mosen, Andrei Varanovich

      Pages 249-259

7. Language Analysis

   1. A Language Independent Task Engine for Incremental Name and Type Analysis

      • Guido H. Wachsmuth, Gabriël D. P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser

      Pages 260-280

   2. A Generic Framework for Symbolic Execution

      • Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

      Pages 281-301

   3. Circular Higher-Order Reference Attribute Grammars

      • Emma Söderberg, Görel Hedin

      Pages 302-321

8. Meta- and Megamodelling

   1. Mapping-Aware Megamodeling: Design Patterns and Laws

      • Zinovy Diskin, Sahar Kokaly, Tom Maibaum

      Pages 322-343

   2. Partial Instances via Subclassing

      • Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski

      Pages 344-364

This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, held in Indianapolis, IN, USA, in October 2013. The 17 technical papers presented together with 2 tool demonstration papers and one keynote were carefully reviewed and selected from 56 submissions. SLE’s foremost mission is to encourage, synthesize and organize communication between communities that have traditionally looked at software languages from different and yet complementary perspectives. The papers are organized in topical sections on domain-specific languages; language patterns and evolution; grammars; tools; language analysis; and meta- and megamodelling.

• context-free grammars
• domain-specific language
• model-driven engineering
• scheduling
• tool interoperability

• School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA

  Martin Erwig

• Department of Computer Science, University of York, Deramore Lane, UK

  Richard F. Paige

• Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA

  Eric Wyk

Policies and ethics