Software Language Engineering

6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

  • Martin Erwig
  • Richard F. Paige
  • Eric Van Wyk
Conference proceedings SLE 2013

DOI: 10.1007/978-3-319-02654-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8225)

Table of contents (20 papers)

  1. Front Matter
  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. Whiley: A Platform for Research in Software Verification
      David J. Pearce, Lindsay Groves
      Pages 238-248
    3. 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

About these proceedings


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

Editors and affiliations

  • Martin Erwig
    • 1
  • Richard F. Paige
    • 2
  • Eric Van Wyk
    • 3
  1. 1.School of Electrical Engineering and Computer ScienceOregon State UniversityCorvallisUSA
  2. 2.Department of Computer ScienceUniversity of YorkDeramore LaneUK
  3. 3.Department of Computer Science and EngineeringUniversity of MinnesotaMinneapolisUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-02653-4
  • Online ISBN 978-3-319-02654-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349