TY  - RPRT
TI  - Relaxed exception semantics for Arm-A (extended version)
AU  - Ben Simner
AU  - Alasdair Armstrong
AU  - Thomas Bauereiss
AU  - Brian Campbell
AU  - Ohad Kammar
AU  - Jean Pichon-Pharabod
AU  - and Peter Sewell
PY  - 2024
UR  - https://arxiv.org/abs/2412.15140
ID  - 2412.15140
ER  -