Browsing by author "Skorstengaard, Lau"
Now showing items 1-1 of 1
-
Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars (2018)