Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations
POPL, 2019.
@article{POPL-2019-ChenHLRW,
author = "Taolue Chen and Matthew Hague and Anthony W. Lin and Philipp Rümmer and Zhilin Wu",
doi = "10.1145/3290362",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "30",
publisher = "{ACM}",
title = "{Decision procedures for path feasibility of string-manipulating programs with complex operations}",
volume = 3,
year = 2019,
}