Details for the publication ChenFHHHKLRW22.

Taolue Chen (), Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu (): Solving string constraints with Regex-dependent functions through transducers with priorities and variables. In Proc. ACM Program. Lang. 6(POPL):1-31, 2022. DOI BIB