CfPBoK
by
Vadim Zaytsev
sle2022/paper02
SLE 2022
paper:
Lang-n-Prove: A DSL for Language Proofs
Matteo Cimini
DOI:
10.1145/3567512.3567514
T5D: Formal Methods
It proposes a principled way to construct and reuse proofs about language properties.
T3A: Meta-languages
The work introduces a meta-level DSL to express reusable proof schemas across languages.
T3C: DSLs
The proof schemas are expressed as a DSL with an interpreter/tool support.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.