Content deleted Content added
No edit summary |
moving in thanks from the article |
||
Line 1:
== Thanks ==
Most of this page is a re-edit of the [http://www.research.att.com/projects/cyclone/papers/cyclone-safety.pdf "Cyclone: a safe dialect of C"] document. Many thanks to Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney and Yanling Wang for creating great software and great documents to spread the word with.
==Never-NULL pointers and arithmatic==
From the article:
| |||