Safe manual memory management in Cyclone

  title={Safe manual memory management in Cyclone},
  author={Nikhil Swamy and Michael W. Hicks and J. Gregory Morrisett and Dan Grossman and Trevor Jim},
  journal={Sci. Comput. Program.},
The goal of the Cyclone project is to investigate how to make a low-level C-like language safe. Our most difficult challenge has been providing programmers control over memory management while retaining safety. This paper describes our experience trying to integrate and use effectively two previously-proposed, safe memory-management mechanisms: statically-scoped regions and tracked pointers. We found that these typing mechanisms can be combined to build alternative memory-management… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS


Publications citing this paper.

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…