sle2020/spaper4

SLE 2020 short paper:
Example-Driven Software Language Engineering

Mikhail Barash

• DOI: 10.1145/3426425.3426945
• T1B: Static Semantics
  • The paper’s main contribution concerns static semantics, especially typing or constraint checking.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.
• T4B: Horizontal Transformation
  • It performs mapping/conversion/synchronisation between representations (horizontal transformations).
• T5H: Usability
  • It targets usability (developer interaction, comprehension, editing experience).

---

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