Membership Testing for Semantic Regular Expressions

Published in PLDI 2025, 2025

Recommended citation: Yifei Huang ,Matin Amini ,Alexis Le Glaunec ,Konstantinos Mamouras and Mukund Raghothaman. 2024. Membership Testing for Semantic Regular Expressions