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"