Formal type soundness for Cyclone's region system

@techreport{citeulike:138577, abstract = {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...}, author = {Grossman, D. and Morrisett, G. and Wang, Y. and Jim, T. and Hicks, M. and Cheney, J.}, citeulike-article-id = {138577}, keywords = {cyclone, memory-management, regions}, posted-at = {2005-03-24 06:19:13}, priority = {3}, title = {Formal type soundness for Cyclone's region system}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.8052} }

TY - RPRT ID - citeulike:138577 L3 - citeulike-article-id:138577 N2 - 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... TI - Formal type soundness for Cyclone's region system KW - cyclone KW - memory-management KW - regions AU - Grossman, D AU - Morrisett, G AU - Wang, Y AU - Jim, T AU - Hicks, M AU - Cheney, J UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.8052 ER -