POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). - Fahad Ausaf; Roy Dyckhoff; Christian Urban (ITP, 2016)

POSIX Lexing with Derivatives of Regular Expressions. - Fahad Ausaf; Roy Dyckhoff; Christian Urban (Arch. Formal Proofs, 2016)