Tijs van der Storm, Emilie Balland, Dániel Varró
Proceedings of the Ninth International Conference on Software Language Engineering
SLE, 2016.
@proceedings{SLE-2016,
address = "Amsterdam, The Netherlands",
doi = "10.1145/2997364",
editor = "Tijs van der Storm and Emilie Balland and Dániel Varró",
isbn = "978-1-4503-4447-0",
publisher = "{ACM}",
title = "{Proceedings of the Ninth International Conference on Software Language Engineering}",
year = 2016,
}
Contents (24 items)
- SLE-2016-Findler #lightweight #named #semantics
- Redex: a language for lightweight semantics engineering (RBF), p. 1.
- SLE-2016-ZhuZK0SH #bidirectional #parsing
- Parsing and reflective printing, bidirectionally (ZZ, YZ, HSK, PM, JS, ZH), pp. 2–14.
- SLE-2016-LaurentM #context-sensitive grammar #parsing
- Taming context-sensitive languages with principled stateful parsing (NL, KM), pp. 15–27.
- SLE-2016-VoelterSLKEB #consistency #development #editing #performance #projectional #using
- Efficient development of consistent projectional editors using grammar cells (MV, TS, SL, BK, SE, TB), pp. 28–40.
- SLE-2016-Tolvanen #collaboration
- MetaEdit+ for collaborative language engineering and language use (JPT), pp. 41–45.
- SLE-2016-SeyboldDRHGT #case study #emf #experience #modelling #runtime
- Experiences of models@run-time with EMF and CDO (DS, JD, AR, CBH, FG, AT), pp. 46–56.
- SLE-2016-PerezGC #evaluation #rule-based #runtime
- Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.
- SLE-2016-DreyT #design pattern #domain-specific language #monitoring #object-oriented
- Object-oriented design pattern for DSL program monitoring (ZD, CT), pp. 70–83.
- SLE-2016-BousseDVMDC #execution #framework
- Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
- SLE-2016-GoncharenkoZ #design #implementation
- Language design and implementation for the domain of coding conventions (BG, VZ), pp. 90–104.
- SLE-2016-LuoA #c #configuration management #modelling #named #programming #semantics #state machine
- BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.
- SLE-2016-MayerhoferWV #modelling #nondeterminism
- Adding uncertainty and units to quantity types in software models (TM, MW, AV), pp. 118–131.
- SLE-2016-KuhnBRA #editing #modelling #named
- FRaMED: full-fledge role modeling editor (TK, KB, SR, UA), pp. 132–136.
- SLE-2016-ParrV #machine learning #towards
- Towards a universal code formatter through machine learning (TP, JJV), pp. 137–151.
- SLE-2016-KeidelPE #ide #problem
- The IDE portability problem and its solution in Monto (SK, WP, SE), pp. 152–162.
- SLE-2016-AmorimEWV #code completion #using
- Principled syntactic code completion using placeholders (LEdSA, SE, GW, EV), pp. 163–175.
- SLE-2016-LindholmTH #named #syntax
- DrAST: an inspection tool for attributed syntax trees (JL, JT, GH), pp. 176–180.
- SLE-2016-MeyersDDV #automation #domain-specific language #modelling #testing
- Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
- SLE-2016-Schwerter
- Side effects take the blame (FBS), pp. 195–206.
- SLE-2016-Al-SibahiDW #execution #symbolic computation
- Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.
- SLE-2016-BlagodarovJZ #assembly #compilation
- Raincode assembler compiler (VB, YJ, VZ), pp. 221–225.
- SLE-2016-BenelallamTCLC #clustering #distributed #model transformation #performance
- Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
- SLE-2016-Lammel #revisited
- Coupled software transformations revisited (RL), pp. 239–252.
- SLE-2016-SantosG #declarative #diagrams #domain-specific language #editing #named
- Xdiagram: a declarative textual DSL for describing diagram editors (ALS, EG), pp. 253–257.