Lean formalization of extended regular expression matching with lookarounds
autor
Zhuchko, Ekaterina
Veanes, Margus
Ebner, Gabriel
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
2024
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
https://doi.org/10.1145/3636501.3636959
märksõna
operatsioonisüsteemid
algoritmid
tekstitöötlus
Scopus
https://www.scopus.com/record/display.uri?eid=2-s2.0-85182924842&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F3636501.3636959%29&sessionSearchId=03854897c8e6e7bbc8ffad5b01ef8afb&relpos=0
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001156786800010
võtmesõna
derivative
POSIX
regex
ISBN
979-840070488-8
märkused
Bibliogr.: 28 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor