sle2009/paper07

SLE 2009 paper:
Verifiable Parse Table Composition for Deterministic Parsing

August Schwerdfeger, Eric Van Wyk

• DOI: 10.1007/978-3-642-12107-4_15
• T1D: Composition
  • The paper focuses on composing parse tables/grammars while preserving deterministic parsing—composition is the key operation.
• T5D: Formal Methods
  • ‘Verifiable’ parsing results imply formal guarantees/proofs about determinism/correctness.
• T4A: Workbenches
  • Parse-table composition supports modular parser construction, a core capability in language tooling.

---

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