Decision procedures for path feasibility of string-manipulating programs with complex operations

Open Webpage

Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Published: 2019, Last Modified: 16 May 2025Proc. ACM Program. Lang. 2019EveryoneRevisionsBibTeXCC BY-SA 4.0