SLE 2017 paper:
Ensuring Non-interference of Composable Language Extensions

Ted Kaminski, Eric Van Wyk

DOI: 10.1145/3136014.3136023
T1D: Composition
- The paper is about composing independent language extensions and ensuring they do not interfere.
T5D: Formal Methods
- Non-interference properties are framed and justified with formal criteria/arguments.
T1B: Static Semantics
- Guaranteeing extension safety often relies on static checks (e.g., typing/discipline) that the paper builds on.
T4C: Vertical Transformation
- The setting typically assumes compiler construction mechanisms for combining extensions into an executable toolchain.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.