Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata"
From MaRDI portal
(Redirected from Dataset:6697729)
DOI10.5281/zenodo.3974360Zenodo3974360MaRDI QIDQ6697729FDOQ6697729
Dataset published at Zenodo repository.
Tomáš Vojnar, Lenka Turoňová, Ondřej Lengál, Olli Saarikivi, Margus Veanes, Lukáš Holík
Publication date: 3 August 2020
Copyright license: Creative Commons Attribution 4.0 International
This is the dataset used for the experimental evaluation in the OOPSLA20 paper Regex Matching with Counting-Set Automata.
This page was built for dataset: Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata"