Region-based Memory Management in Cyclone. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 282--293. ACM, June 2002.

Cyclone is a polymorphic, type-safe programming language derived from C . The primary design goals of Cyclone are to let programmers control data representations and memory management without sacrificing type-safety. In this paper, we focus on the region-based memory management of Cyclone and its static typing discipline. The design incorporates several advancements, including support for region subtyping and a coherent integration with stack allocation and a garbage collector. To support separate compilation, Cyclone requires programmers to write some explicit region annotations, but uses a combination of default annotations, local type inference, and a novel treatment of region effects to reduce this burden. As a result, we integrate C idioms in a region-based framework. In our experience, porting legacy C to Cyclone has required altering about 8% of the code; of the changes, only 6% (of the 8%) were region annotations.

http | .pdf ]

@inproceedings{GrossmanMJHWC02,
  author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney},
  title = {Region-based Memory Management in {C}yclone},
  booktitle = {Proceedings of the {ACM} Conference on Programming Language Design and Implementation (PLDI)},
  month = {June},
  where = {Berlin, Germany},
  pages = {282--293},
  publisher = {{ACM}},
  year = 2002,
  http = {http://cyclone.thelanguage.org}
}

This file was generated by bibtex2html 1.99.