Login / Signup
What is decidable about string constraints with the ReplaceAll function.
Taolue Chen
Yan Chen
Matthew Hague
Anthony W. Lin
Zhilin Wu
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
penalty function
constraint satisfaction
regular expressions
constrained optimization
piecewise linear
consistency checking