Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner. Lean Formalization of Extended Regular Expression Matching with Lookarounds. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 118-131, ACM, 2024. [doi]
@inproceedings{ZhuchkoVE24,
title = {Lean Formalization of Extended Regular Expression Matching with Lookarounds},
author = {Ekaterina Zhuchko and Margus Veanes and Gabriel Ebner},
year = {2024},
doi = {10.1145/3636501.3636959},
url = {https://doi.org/10.1145/3636501.3636959},
researchr = {https://researchr.org/publication/ZhuchkoVE24},
cites = {0},
citedby = {0},
pages = {118-131},
booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
editor = {Amin Timany and Dmitriy Traytel and Brigitte Pientka and Sandrine Blazy},
publisher = {ACM},
}