Safe and Flexible Memory Management in Cyclone

  title={Safe and Flexible Memory Management in Cyclone},
  author={Michael Hicks and Greg Morrisett and Dan Grossman and Trevor Jim},
Cyclone is a type-safe programming language intended for applications requiring control over memory management. Our previous work on Cyclone included support for stack allocation, lexical region allocation, and a garbage-collected heap. We achieved safety (i.e., prevented dangling pointers) through a region-based type-and-effects system. This paper describes some new memory-management mechanisms that we have integrated into Cyclone: dynamic regions, unique pointers, and reference-counted… CONTINUE READING

Similar Papers

Loading similar papers…