POSIX Regular Expression Parsing with Derivatives

DOI10.1007/978-3-319-07151-0_13zbMath1416.68109OpenAlexW35443084MaRDI QIDQ5170712

Martin Sulzmann, Kenny Zhuo Ming Lu

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items

From Ambiguous Regular Expressions to Deterministic Parsing Automata, POSIX lexing with derivatives of regular expressions, Formalising and implementing Boost POSIX regular expression matching, A deterministic parsing algorithm for ambiguous regular expressions, POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl), Derivative-Based Diagnosis of Regular Expression Ambiguity