David Pearce 0005, Tanja Mayerhofer, Friedrich Steimann
Proceedings of the 11th International Conference on Software Language Engineering
SLE, 2018.

@proceedings{SLE-2018,
	address       = "Boston, MA, USA",
	doi           = "10.1145/3276604",
	editor        = "David Pearce 0005 and Tanja Mayerhofer and Friedrich Steimann",
	isbn          = "978-1-4503-6029-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th International Conference on Software Language Engineering}",
	year          = 2018,
}

Contents (23 items)

SLE-2018-Rinard #approach #correctness #reliability

A new approach for software correctness and reliability (MCR), pp. 1–2.

SLE-2018-AmorimSEV #declarative #parsing #pretty-printing #specification

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages (LEdSA, MJS, SE, EV), pp. 3–15.

SLE-2018-BinsbergenSJ #combinator #flexibility #gll #parsing

GLL parsing with flexible combinators (LTvB, ES, AJ), pp. 16–28.

SLE-2018-Regis-GianasJT #named #parsing

Morbig: a static parser for POSIX shell (YRG, NJ, RT), pp. 29–41.

SLE-2018-Sakharov #regular expression

Input-driven regular expressions (AS), pp. 42–46.

SLE-2018-LeducDC #composition

Modular language composition for the masses (ML, TD, BC), pp. 47–59.

SLE-2018-Stromback #framework #named #platform

Storm: a language platform for interacting and extensible languages (FS), pp. 60–64.

SLE-2018-Cimini

Languages as first-class citizens (MC), pp. 65–69.

SLE-2018-MeySHSKFOA #attribute grammar #using #validation

Continuous model validation using reference attribute grammars (JM, RS, GH, ES, TK0, NF, JÖ, UA), pp. 70–82.

SLE-2018-HarkesCV #case study #domain-specific language #incremental #logic #migration

Migrating business logic to an incremental computing DSL: a case study (DCH, EvC, EV), pp. 83–96.

SLE-2018-Zaytsev #case study #compilation #industrial #testing

An industrial case study in compiler testing (VZ), pp. 97–102.

SLE-2018-RiesCG #approach #named #requirements #uml

Messir: a text-first DSL-based approach for UML requirements engineering (BR, AC, NG), pp. 103–107.

SLE-2018-TikhonovaSSD #constraints #migration #modelling #runtime

Constraint-based run-time state migration for live modeling (UT, JS, TvdS, TD), pp. 108–120.

SLE-2018-Bennich-Bjorkman #metric

The next 700 unit of measurement checkers (OBB, SM), pp. 121–132.

SLE-2018-RacordonB #alias #type system

A practical type system for safe aliasing (DR, DB), pp. 133–146.

SLE-2018-LaraGKH #modelling

Facet-oriented modelling: open objects for model-driven engineering (JdL, EG, JK, YH), pp. 147–159.

SLE-2018-GuerraLCS #metamodelling #product line

Analysing meta-model product lines (EG, JdL, MC, RS), pp. 160–173.

SLE-2018-ButtingJRW #metamodelling

Translating grammars to accurate metamodels (AB, NJ, BR, AW), pp. 174–186.

SLE-2018-ButtingDLRW #domain-specific language

Deriving fluent internal domain-specific languages from grammars (AB, MD, GL, BR, AW), pp. 187–199.

SLE-2018-LelandaisOC #metamodelling

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (BL, MPO, BC), pp. 200–204.

SLE-2018-DenkersGV #domain-specific language #implementation #language workbench #migration

Migrating custom DSL implementations to a language workbench (JD, LvG, EV), pp. 205–209.

SLE-2018-MerinoVS #generative #named #parametricity

Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.

SLE-2018-CoulonDSC #domain-specific language

Shape-diverse DSLs: languages without borders (FC, TD, TvdS, BC), pp. 215–219.