full record print

Lean formalization of extended regular expression matching with lookarounds

author
statement of authorship
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
source
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024
location of publication
New York
publisher
ACM
year of publication
pages
p. 118 - 131
conference name, date
13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, in affiliation with the annual Symposium on Principles of Programming, Languages, ,POPL 2024, 15-16 January 2024
conference location
London
url
ISBN
979-840070488-8
notes
Bibliogr.: 28 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
Reserch Group
Laboratory for compositional systems and methods
Zhuchko, E., Veanes, M., Ebner, G. Lean formalization of extended regular expression matching with lookarounds // CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. New York : ACM, 2024. p. 118 - 131. https://doi.org/10.1145/3636501.3636959