sle2017s/paper01

SLE 2017 SI paper:
Software meta-language engineering and CBS

Peter D. Mosses

• DOI: 10.1016/j.jvlc.2018.11.003
• Extended version of Engineering Meta-Languages for Specifying Software Languages (SLE 2017)
• T3A: Meta-languages
  • The paper is explicitly about engineering semantic meta-languages (culminating in CBS) for specifying software languages.
• T1C: Behavioural Semantics
  • It focuses on behavioural/executable semantics via component-based semantics (funcons) and operational specification styles (e.g., MSOS/I-MSOS lineage).
• T1E: Reuse
  • A core objective is reuse of semantic components (funcons) across languages to reduce duplication in specifications.
• T2B: Evolution
  • It emphasises co-evolution between a language and its formal specification, treating semantics engineering as an ongoing evolution/maintenance problem.

---

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