sle2017/keynote1

SLE 2017 keynote:
Engineering Meta-Languages for Specifying Software Languages

Peter D. Mosses

• DOI: 10.1145/3136014.3148041
• Original shorter version of Software meta-language engineering and CBS (SLE 2017 SI)
• T3A: Meta-languages
  • The keynote is centrally about engineering and using meta-languages to specify the components of software languages.
• T1C: Behavioural Semantics
  • It stresses formal/executable semantic specifications as a key missing piece of language definitions.
• T4A: Workbenches
  • A major theme is how meta-language choices enable or constrain tool support for languages.
• T5D: Formal Methods
  • It discusses formal specification and reasoning about language definitions as a methodological foundation.

---

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