POSIX lexing with bitcoded derivatives

DOI10.4230/LIPICS.ITP.2023.27MaRDI QIDQ6643012FDOQ6643012

Authors: Chengsong Tan, Christian Urban 

Publication date: 26 November 2024

zbMATH Keywords

Isabelle/HOLderivatives of regular expressionsPOSIX matching and lexing

Mathematics Subject Classification ID

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

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)