Static safety guarantees for a low-level multithreaded language with regions
Low-level language with hierarchical regions and reader/writer locks. Formal type and effect system with effect inference. Formalism and type safety proof: memory safety and race freedom. Design and integration into Cyclone. Performance evaluation against C using challenging benchmarks.
type and effect systems cyclone safe multithreading region-based memory management