Cyclone programming language
The Cyclone programming language is intended to be a safe dialect of the C programming language. It is designed to avoid the buffer overflow and other vulnerabilities that are inherent in C, without losing the power and convenience of C as a tool for systems programming.Cyclone was jointly developed by Greg Morrisett's group at Cornell University and AT&T Labs Research in the early 2000s. It received a certain amount of publicity in November 2001. As of February 28, 2004, the Cyclone compiler stands at version 0.7.
External reference:
- http://www.cs.cornell.edu/projects/cyclone/