3 papers
cs.PL2026
Certified Panic Mode: Repair-Invariant Error Recovery for Maximal-Munch Lexing
Nicklas Nidhögg
Classical panic-mode recovery skips a failed scan forward by convention: it promises progress, and membership in a designated set where one is found, but no repair-universal bounda…
cs.FL2026
Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens
Nicklas Nidhögg
Table-driven DFA lexing is sequential: each transition depends on the previous byte's state. Scanning one input in parallel needs each chunk's entry state, which existing methods r…
cs.FL2026
Certified Split Windows for Parallel Lexing: Recovering Boundaries Where No Byte Certifies
Nicklas Nidhögg
A certified split point lets a parallel lexer cut unlexed input at a single byte with the serial token stream provably preserved, but several conventional token sets in the predece…