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

@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

Contents (20 items)

5 ×#domain-specific language
3 ×#execution
3 ×#named
2 ×#framework

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.