@misc{indiciae5864a49e2a78,
  title = {Relaxed exception semantics for Arm-A (extended version)},
  author = {Ben Simner and Alasdair Armstrong and Thomas Bauereiss and Brian Campbell and Ohad Kammar and Jean Pichon-Pharabod and and Peter Sewell},
  year = {2024},
  url = {https://arxiv.org/abs/2412.15140},
  note = {Source identifier: 2412.15140}
}