Proceedings of the Sixth International Conference on Software Language Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Martin Erwig, Richard F. Paige, Eric Van Wyk
Proceedings of the Sixth International Conference on Software Language Engineering
SLE, 2013.

SLE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{SLE-2013,
	address       = "Indianapolis, Indiana, USA",
	doi           = "10.1007/978-3-319-02654-1",
	editor        = "Martin Erwig and Richard F. Paige and Eric Van Wyk",
	isbn          = "978-3-319-02653-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Software Language Engineering}",
	volume        = 8225,
	year          = 2013,
}

Committee

  • General Chair: Eric Van Wyk
  • Program Chairs: Martin Erwig, Richard F. Paige
  • Program Committee: Emilie Balland, Olaf Chitil, James R. Cordy, Davide Di Ruscio, Iavor S. Diatchki, Anne Etien, Jean-Marie Favre, Dragan Gašević, Andy Gill, Jeff Gray, Giancarlo Guizzardi, Görel Hedin, Markus Herrmannsdörfer, Zhenjiang Hu, Oleg Kiselyov, Paul Klint, Thomas Kühne, Kim Mens, Pierre-Etienne Moreau, Klaus Ostermann, Arnd Poetzsch-Heffter, Fiona Polack, Lukas Renggli, Bernhard Rumpe, João Saraiva, Friedrich Steimann, Gabriele Täntzer, Mark van den Brand, Jurgen J. Vinju
  • Steering Committee: Mark van den Brand, James R. Cordy, Jean-Marie Favre, Dragan Gašević, Görel Hedin, Eric Van Wyk, Jurgen J. Vinju, Kim Mens
  • Contents (20 items)

    SLE-2013-BatoryGMS #automation #design #graph grammar
    Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
    SLE-2013-SobernigSB #domain-specific language #energy #scheduling
    Developing a Domain-Specific Language for Scheduling in the European Energy Sector (SS, MS, AB), pp. 19–35.
    SLE-2013-KlintR #domain-specific language #game studies #named
    Micro-Machinations — A DSL for Game Economies (PK, RvR), pp. 36–55.
    SLE-2013-MayerhoferLWK #domain-specific language #execution #named
    xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
    SLE-2013-VacchiCPC #development #domain-specific language #variability
    Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
    SLE-2013-FehrenbachEO #domain-specific language #evolution
    Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
    SLE-2013-Zaytsev #grammarware
    Micropatterns in Grammars (VZ), pp. 117–136.
    SLE-2013-AfroozehBJSV #precedence #specification
    Safe Specification of Operator Precedence Rules (AA, MvdB, AJ, ES, JJV), pp. 137–156.
    SLE-2013-VasudevanT #ambiguity #detection #programming language
    Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
    SLE-2013-BaggeH #pipes and filters #pretty-printing
    A Pretty Good Formatting Pipeline (AHB, TH), pp. 177–196.
    SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #language workbench #state of the art
    The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.
    SLE-2013-DialloCL #approach #formal method #modelling #using
    A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation (PID, JC, LL), pp. 218–237.
    SLE-2013-PearceG #framework #named #platform #research #verification
    Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
    SLE-2013-LammelMV #tool support #wiki
    Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
    SLE-2013-WachsmuthKVGV #analysis #incremental #independence
    A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
    SLE-2013-ArusoaieLR #execution #framework #symbolic computation
    A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
    SLE-2013-SoderbergH #attribute grammar #higher-order
    Circular Higher-Order Reference Attribute Grammars (ES, GH), pp. 302–321.
    SLE-2013-DiskinKM #design pattern #megamodelling
    Mapping-Aware Megamodeling: Design Patterns and Laws (ZD, SK, TSEM), pp. 322–343.
    SLE-2013-BakDACW #subclass
    Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
    SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling
    Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.

    Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
    Hosted as a part of SLEBOK on GitHub.