sle2019/vision1

SLE 2019 vision paper:
A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation

David Broman

• DOI: 10.1145/3357766.3359531
• T3C: DSLs
  • The paper mainly targets domain-specific languages or modeling languages, including their design or use.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.
• T5D: Formal Methods
  • It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
• T1D: Composition
  • It emphasises modularity/composition/integration (embedding or coordinating language components).

---

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