Published in: LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023)
Chengsong Tan and Christian Urban. POSIX Lexing with Bitcoded Derivatives. In 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 27:1-27:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{tan_et_al:LIPIcs.ITP.2023.27, author = {Tan, Chengsong and Urban, Christian}, title = {{POSIX Lexing with Bitcoded Derivatives}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {27:1--27:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-284-6}, ISSN = {1868-8969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.27}, URN = {urn:nbn:de:0030-drops-184027}, doi = {10.4230/LIPIcs.ITP.2023.27}, annote = {Keywords: POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} }
Feedback for Dagstuhl Publishing