학술논문
Solving string constraints with Regex-dependent functions through transducers with priorities and variables
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Subject
Language
English
ISSN
24751421