Membership Testing for Semantic Regular Expressions

Published in PLDI 2025(To Appear), 2025

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