@misc{indiciae84bfb5178776,
  title = {The complexity gap in the static analysis of cache accesses grows if procedure calls are added},
  author = {David Monniaux},
  year = {2022},
  url = {https://arxiv.org/abs/2201.13056},
  note = {Source identifier: 2201.13056}
}