Author

Nicklas Nidhögg

h-index 2 View on Semantic Scholar

We have 3 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Certified Panic Mode: Repair-Invariant Error Recovery for Maximal-Munch Lexing

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 boundary guarantee for the position it lands on. This paper chooses the resume position by theorem: a position is a sound recovery point when ever...

Nicklas Nidhögg · 2 citations

Preprint Oct 2026

Certified Splitting: Decidability and Anchor Supply for Maximal-Munch Tokenization

A certificate is a window of bytes with an origin inside it: wherever the window occurs in a completely tokenizable input, the token covering the window's final byte begins at that origin. Decided from the token set alone, a certified position marks where work may soundly begin. This paper decides certification and rea...

Nicklas Nidhögg · 0 citations

Preprint Aug 2026

Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens

The guarantee to equality after deleting a declared discarded set is weakened, and a second condition, sound and more permissive, is given, which turns delimiter-based parallel lexing from a language-specific assumption into a property a compiler checks.

Nicklas Nidhögg · 3 citations