POSIX Lexing with Bitcoded Derivatives.

Chengsong Tan, Christian Urban

Browse the full ITP paper archive.