Safe Manual Memory Management with Coeffectsryanbrewer.dev 3 pointshoping12 years ago1 commentSaveHideCopy link On HNComments−hoping1OP2yIn this post I talk about Crary et al.'s Calculus of Capabilities, how it can be used for safe manual memory management without requiring values be used linearly in any way, and why I chose it for SaberVM.
Comments
In this post I talk about Crary et al.'s Calculus of Capabilities, how it can be used for safe manual memory management without requiring values be used linearly in any way, and why I chose it for SaberVM.