POSIX Lexing with Derivatives of Regular Expressions

Christian Urban. POSIX Lexing with Derivatives of Regular Expressions. Journal of Automated Reasoning, 67(3):24, September 2023. [doi]

Abstract

Abstract is missing.