Browse by Person

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

Number of items: 3.

ACM Transactions on Database Systems

Barcelo, P. and Libkin, L. and Lin, A.W. and Wood, Peter T. (2012) Expressive languages for path queries over graph-structured data. ACM Transactions on Database Systems 37 (4), ISSN 0362-5915.

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.

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.

This list was generated on Tue Nov 26 06:21:43 2024 GMT.

Export as	Atom RSS