Cyclone: A safe dialect of c Export

@misc{citeulike:257826, abstract = {Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the bu\#er overflows, format string attacks, and memory management errors that are common in C programs, while retaining C's syntax and semantics. This paper examines safety violations enabled by C's design, and shows how Cyclone avoids them, without giving up C's hallmark control over low-level details such as data representation and memory management.}, author = {Jim, T. and Morrisett, G. and Grossman, D. and Hicks, M. and Cheney, J. and Wang, Y.}, citeulike-article-id = {257826}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4986}, keywords = {cyclone, regions}, posted-at = {2005-07-16 18:13:31}, priority = {4}, title = {Cyclone: A safe dialect of c}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4986}, year = {2002} }

TY - GEN ID - citeulike:257826 L3 - citeulike-article-id:257826 N2 - Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the bu#er overflows, format string attacks, and memory management errors that are common in C programs, while retaining C's syntax and semantics. This paper examines safety violations enabled by C's design, and shows how Cyclone avoids them, without giving up C's hallmark control over low-level details such as data representation and memory management. TI - Cyclone: A safe dialect of c KW - cyclone KW - regions AU - Jim, T AU - Morrisett, G AU - Grossman, D AU - Hicks, M AU - Cheney, J AU - Wang, Y PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4986 ER -