sle2010/paper17

SLE 2010 paper:
Featherweight TEX and Parser Correctness

Sebastian Erdweg, Klaus Ostermann

• DOI: 10.1007/978-3-642-19440-5_26
• T5D: Formal Methods
  • The paper focuses on formal reasoning about parser correctness via a formalised “featherweight” core of TeX.
• T4C: Vertical Transformation
  • Parsing/translator construction is central, with correctness arguments tied to parsing behavior.
• T1A: Design
  • It defines a deliberately simplified core language (a “featherweight” TeX) to make formal treatment tractable.

---

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