SLE 2018
23 papers
- A new approach for software correctness and reliability (keynote)
- A practical type system for safe aliasing
- An industrial case study in compiler testing (tool demo)
- Analysing meta-model product lines
- Bacatá: a language parametric notebook generator (tool demo)
- Constraint-based run-time state migration for live modeling
- Continuous model validation using reference attribute grammars
- Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages
- Deriving fluent internal domain-specific languages from grammars
- Facet-oriented modelling: open objects for model-driven engineering
- Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)
- GLL parsing with flexible combinators
- Input-driven regular expressions (vision paper)
- Languages as first-class citizens (vision paper)
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)
- Migrating business logic to an incremental computing DSL: a case study
- Migrating custom DSL implementations to a language workbench (tool demo)
- Modular language composition for the masses
- Morbig: a static parser for POSIX shell
- Shape-diverse DSLs: languages without borders (vision paper)
- Storm: a language platform for interacting and extensible languages (tool demo)
- The next 700 unit of measurement checkers
- Translating grammars to accurate metamodels