@misc{indiciaebf19e1b9678a,
  title = {A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)},
  author = {Giacomo Boldini and Luca Negrini and Luca Olivieri and Pietro Ferrara},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15932},
  note = {Source identifier: 2607.15932}
}