default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th SLE 2018: Boston, MA, USA
- David J. Pearce, Tanja Mayerhofer, Friedrich Steimann:
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018. ACM 2018, ISBN 978-1-4503-6029-6
Keynote
- Martin C. Rinard:
A new approach for software correctness and reliability (keynote). 1-2
Parsing
- Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser:
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. 3-15 - L. Thomas van Binsbergen
, Elizabeth Scott, Adrian Johnstone:
GLL parsing with flexible combinators. 16-28 - Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen:
Morbig: a static parser for POSIX shell. 29-41 - Alexander Sakharov:
Input-driven regular expressions (vision paper). 42-46
Language Composition
- Manuel Leduc, Thomas Degueule, Benoît Combemale:
Modular language composition for the masses. 47-59 - Filip Strömbäck:
Storm: a language platform for interacting and extensible languages (tool demo). 60-64 - Matteo Cimini:
Languages as first-class citizens (vision paper). 65-69
Validation and Verification
- Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann:
Continuous model validation using reference attribute grammars. 70-82 - Daco C. Harkes, Elmer van Chastelet, Eelco Visser:
Migrating business logic to an incremental computing DSL: a case study. 83-96 - Vadim Zaytsev:
An industrial case study in compiler testing (tool demo). 97-102 - Benoît Ries, Alfredo Capozucca, Nicolas Guelfi:
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). 103-107
Types and Constraints
- Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule:
Constraint-based run-time state migration for live modeling. 108-120 - Oscar Bennich-Björkman, Steve McKeever:
The next 700 unit of measurement checkers. 121-132 - Dimitri Racordon, Didier Buchs:
A practical type system for safe aliasing. 133-146
Grammars and Metamodeling
- Juan de Lara, Esther Guerra, Jörg Kienzle, Yanis Hattab:
Facet-oriented modelling: open objects for model-driven engineering. 147-159 - Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Analysing meta-model product lines. 160-173 - Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann:
Translating grammars to accurate metamodels. 174-186 - Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, Andreas Wortmann:
Deriving fluent internal domain-specific languages from grammars. 187-199 - Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale:
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo). 200-204
Language Workbenches
- Jasper Denkers, Louis van Gool, Eelco Visser:
Migrating custom DSL implementations to a language workbench (tool demo). 205-209 - Mauricio Verano Merino, Jurgen J. Vinju, Tijs van der Storm:
Bacatá: a language parametric notebook generator (tool demo). 210-214 - Fabien Coulon, Thomas Degueule, Tijs van der Storm, Benoît Combemale:
Shape-diverse DSLs: languages without borders (vision paper). 215-219
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 01:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
