sle2011/paper12

SLE 2011 paper:
Semantics First! Rethinking the Language Design Process

Martin Erwig, Eric Walkingshaw

• DOI: 10.1007/978-3-642-28830-2_14
• T1A: Design
  • It proposes a language design methodology that starts from semantics and derives other aspects.
• T1C: Behavioural Semantics
  • The ‘semantics first’ stance makes behavioral/executable semantics a primary design driver.
• T5D: Formal Methods
  • The approach relies on formal semantic reasoning to guide language design decisions.

---

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