A Pretty Good Formatting Pipeline
Abstract elided by the publisher.
Related papers
- Certified Abstract Interpretation with Pretty-Big-Step Semantics CPP 2015
- AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE 2025
- Incremental, bidirectional text-to-text synchronizations with AnyText SLE 2026
- Specifying and verifying sparse matrix codes ICFP 2010
- A High-Level Approach to Computer Document Formatting POPL 1980
- Pretty-Big-Step Semantics ESOP 2013
- Lazy v. Yield: Incremental, Linear Pretty-Printing APLAS 2012
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics ESOP 2014