Software Language Engineering

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


ISBN: 978-3-319-02653-4 (Print) 978-3-319-02654-1 (Online)
Download Book (10,467 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Invited Talk

    1. Book Chapter

      Pages 1-18

      Dark Knowledge and Graph Grammars in Automated Software Design

  3. Domain-Specific Languages

    1. Book Chapter

      Pages 19-35

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

    2. Book Chapter

      Pages 36-55


    3. Book Chapter

      Pages 56-75

      xMOF: Executable DSMLs Based on fUML

  4. Language Patterns and Evolution

    1. Book Chapter

      Pages 76-95

      Variability Support in Domain-Specific Language Development

    2. Book Chapter

      Pages 96-116

      Software Evolution to Domain-Specific Languages

    3. Book Chapter

      Pages 117-136

      Micropatterns in Grammars

  5. Grammars

    1. Book Chapter

      Pages 137-156

      Safe Specification of Operator Precedence Rules

    2. Book Chapter

      Pages 157-176

      Detecting Ambiguity in Programming Language Grammars

    3. Book Chapter

      Pages 177-196

      A Pretty Good Formatting Pipeline

  6. Tools

    1. Book Chapter

      Pages 197-217

      The State of the Art in Language Workbenches

    2. Book Chapter

      Pages 218-237

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

    3. Book Chapter

      Pages 238-248

      Whiley: A Platform for Research in Software Verification

    4. Book Chapter

      Pages 249-259

      Method and Tool Support for Classifying Software Languages with Wikipedia

  7. Language Analysis

    1. Book Chapter

      Pages 260-280

      A Language Independent Task Engine for Incremental Name and Type Analysis

    2. Book Chapter

      Pages 281-301

      A Generic Framework for Symbolic Execution

    3. Book Chapter

      Pages 302-321

      Circular Higher-Order Reference Attribute Grammars

  8. Meta- and Megamodelling

    1. Book Chapter

      Pages 322-343

      Mapping-Aware Megamodeling: Design Patterns and Laws

    2. Book Chapter

      Pages 344-364

      Partial Instances via Subclassing

    3. Book Chapter

      Pages 365-384

      Reifying Concurrency for Executable Metamodeling

  9. Back Matter

    Pages -