@article {14672,
	title = {Cyclone: A safe dialect of C},
	journal = {USENIX Annual Technical Conference},
	year = {2002},
	month = {2002///},
	pages = {275 - 288},
	abstract = {Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the buffer overflows, format string attacks, and memory management errors that are common in C programs, while retaining C{\textquoteright}s syntax and semantics. This paper examines safety violations enabled by C{\textquoteright}s design, and shows how Cyclone avoids them, without giving up C{\textquoteright}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, Michael W. and Cheney,J. and Wang, Y.}
}
