Browsing by Author "Skorstengaard, Lau"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
;Skorstengaard, Lau ;Devriese, DominiqueBirkedal, LarsProceedings paper2018, European Symposium on Programming - ESOP, 14/04/2018, p.475-501