POSIX lexing with bitcoded derivatives

DOI10.4230/LIPICS.ITP.2023.27MaRDI QIDQ6643012zbMATH OpenFDO

Authors Chengsong Tan, Christian Urban

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2023.27

zbMATH Keywords

derivatives of regular expressionsIsabelle/HOLPOSIX matching and lexing

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(1)

• Finiteness of symbolic derivatives in Lean

This page was built for publication: POSIX lexing with bitcoded derivatives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643012)