9 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
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.…