Conference
European Symposium on Programming - ESOP
Title
Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
Publication type
Proceedings paper
Embargo date
9999-12-31
