Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What is decidable about string constraints with the ReplaceAll function
POPL, 2018.
@article{POPL-2018-ChenCHLW,
author = "Taolue Chen and Yan Chen and Matthew Hague and Anthony W. Lin and Zhilin Wu",
doi = "10.1145/3158091",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{What is decidable about string constraints with the ReplaceAll function}",
volume = 2,
year = 2018,
}