CfPBoK
by
Vadim Zaytsev
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.