9 citations · 10 across the 4 of their papers we have counts for
1 paper · 2 filters
Arthur Azevedo de Amorim, Catalin Hritcu, 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.…