täiskirje prindi

Lean formalization of extended regular expression matching with lookarounds

autor
vastutusandmed
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
allikas
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
leheküljed
p. 118 - 131
konverentsi nimetus, aeg
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
konverentsi toimumispaik
London
leitav
ISBN
979-840070488-8
märkused
Bibliogr.: 28 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
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