sle2020/paper13

SLE 2020 paper:
A Semantic Framework for PEGs

Sérgio Queiróz de Medeiros, Carlos Olarte

• DOI: 10.1145/3426425.3426944
• T1C: Behavioural Semantics
  • The paper primarily develops behavioural/executable semantics or ways to execute semantic definitions.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.
• T5D: Formal Methods
  • It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.

---

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