Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) What is decidable about string constraints with the ReplaceAll function. Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.