sle2023/paper03

SLE 2023 paper:
Adaptive Structural Operational Semantics

Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen

• DOI: 10.1145/3623476.3623517
• T1C: Behavioural Semantics
  • The paper introduces a variant of structural operational semantics aimed at specifying adaptive program behavior.
• T4D: Interpretation
  • The semantics explicitly targets runtime adaptation mechanisms that influence execution during operation.
• T3C: DSLs
  • The motivation is to make self-adaptation easier to add in domain-specific settings where adaptation is a secondary concern.

---

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