Region-Based Memory Management in Cyclone

@inproceedings{citeulike:138576, abstract = {Cyclone is a type-safe programming language derived from C. The primary design goal of Cyclone is to let programmers control data representation 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,...}, author = {Grossman, Dan and Morrisett, Greg and Jim, Trevor and Hicks, Michael and Wang, Yanling and Cheney, James}, citeulike-article-id = {138576}, keywords = {cyclone, memory-management, regions}, posted-at = {2005-03-24 06:18:24}, priority = {4}, title = {Region-Based Memory Management in Cyclone}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.6390} }

TY - CONF ID - citeulike:138576 L3 - citeulike-article-id:138576 N2 - Cyclone is a type-safe programming language derived from C. The primary design goal of Cyclone is to let programmers control data representation 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,... TI - Region-Based Memory Management in Cyclone KW - cyclone KW - memory-management KW - regions AU - Grossman, Dan AU - Morrisett, Greg AU - Jim, Trevor AU - Hicks, Michael AU - Wang, Yanling AU - Cheney, James UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.6390 ER -