@misc{indiciae094bd411a745,
  title = {Static Program Analysis for String Manipulation Languages},
  author = {Vincenzo Arceri and Isabella Mastroeni},
  year = {2019},
  doi = {10.4204/eptcs.299.5},
  url = {https://arxiv.org/abs/1808.07827},
  note = {Source identifier: 1808.07827}
}