Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: Article

Number of items: 1.

Article

Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations. Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.

This list was generated on Fri Nov 22 06:47:43 2024 GMT.