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.