• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

What is decidable about string constraints with the ReplaceAll function.

Taolue ChenYan ChenMatthew HagueAnthony W. LinZhilin Wu
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases
  • penalty function
  • constraint satisfaction
  • regular expressions
  • constrained optimization
  • piecewise linear
  • consistency checking