Memory Safety.
Arthur Azevedo de Amorim, Cătălin Hrițcu, Benjamin C. Pierce (April 2018)🔗 https://link.springer.com/content/pdf/10.1007/978-3-319-89722-6_4.pdf
⚓ #pdf #programming-languages #bcs2220 #bcs #paper
A concrete and formal definition of memory safety from (inter alia) Benjamin C. Pierce.
We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state.
Paper in the proceedings of the Principles of Security and Trust conference 2018.