Static safety guarantees for a low-level multithreaded language with regions
Under an Elsevier user license
open archive
Keywords
Safe multithreading
Type and effect systems
Region-based memory management
Cyclone
Cited by (0)
Copyright © 2013 Elsevier B.V. All rights reserved.