TY  - RPRT
TI  - The Meaning of Memory Safety
AU  - Arthur Azevedo de Amorim
AU  - Catalin Hritcu
AU  - Benjamin C. Pierce
PY  - 2018
UR  - https://arxiv.org/abs/1705.07354
ID  - 1705.07354
ER  -