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
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
ISBN
979-840070488-8
notes
Bibliogr.: 28 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
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.