sle2018/vision2

SLE 2018 vision paper:
Languages as First-Class Citizens

Matteo Cimini

• DOI: 10.1145/3276604.3276983
• T6D: Synergies
  • The paper is explicitly a vision/position piece emphasising cross-cutting synergies and future directions.
• T5D: Formal Methods
  • It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
• T4D: Interpretation
  • It concerns runtime interpretation/execution (interpreters, debuggers, runtime services).

---

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