@misc{indiciaeb9ac7e0c8734,
  title = {Ownership Refinement Types for Pointer Arithmetic and Nested Arrays},
  author = {Yusuke Fujiwara and Yusuke Matsushita and Kohei Suenaga and Atsushi Igarashi},
  year = {2026},
  url = {https://arxiv.org/abs/2604.22361},
  note = {Source identifier: 2604.22361}
}