SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / OOPSLA Artifacts /

Regex Matching with Counting-Set Automata

FunctionalAvailable
Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, Tomáš Vojnar
SPLASH 2020 OOPSLA Artifacts
https://doi.org/10.5281/zenodo.3975566
small-avatar
Lenka Turoňová
Brno University of Technology
small-avatar
Lukáš Holík
Brno University of Technology
Ondřej Lengál
Ondřej Lengál
Brno University of Technology
Olli Saarikivi
Olli Saarikivi
Microsoft
Margus Veanes
Margus Veanes
Microsoft
Tomáš Vojnar
Tomáš Vojnar
Brno University of Technology