Formally Verified Linear-Time Invertible Lexing.

Samuel Chassot, Viktor Kuncak

Browse the full CAV paper archive.