Publication

[ChenFHHHKLRW22] Solving string constraints with Regex-dependent functions through transducers with priorities and variables Chen, T.; Flores-Lamas, A.; Hague, M.; Han, Z.; Hu, D.; Kan, S.; Lin, A. W.; Rümmer, P. and Wu, Z. In Proc. ACM Program. Lang., 6: 1-31, 2022. doi.. 
Downloads: bibURL: https://doi.org/10.1145/3498707