Functional translation of a calculus of capabilities
暂无分享,去创建一个
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabilities, and singlet...