EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination (PLDI26 Version)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Ekaterina Zhuchko, Ian Erik Varatalu
DOI: 10.5281/zenodo.19915486
Cited by: 1

Abstract

Unified Artifact for EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination. Includes: The tool and benchmarks : https://doi.org/10.5281/zenodo.19072417 The Lean formalisation : https://doi.org/10.5281/zenodo.19067931

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
30 April 2026