A decision procedure for string constraints with string/integer conversion and flat regular constraints
Crossref DOI link: https://doi.org/10.1007/s00236-023-00446-4
Published Online: 2023-10-24
Published Print: 2024-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wu, Hao
Chen, Yu-Fang
Wu, Zhilin
Xia, Bican
Zhan, Naijun
Text and Data Mining valid from 2023-10-24
Version of Record valid from 2023-10-24
Article History
Received: 24 August 2022
Accepted: 24 September 2023
First Online: 24 October 2023