Skip to main content
SpringerLink
Log in
Book cover

Software Language Engineering

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Martin Erwig

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Richard F. Paige

    1. Department of Computer Science, University of York, Deramore Lane, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Eric Wyk

    1. Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • State-of-the-art research
  • Fast-track conference proceedings

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SLE 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Software Language Engineering

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation