Cyclone
You have found the way to Cyclone on C:
See also:
- Computers: Programming: Languages: C++: Compilers (19)
- Computers: Programming: Languages: C: Compilers (41)
- Computers: Programming: Languages: Compiled: Procedural (0)
- Computers: Programming: Languages: Curly Bracket (2)
- Computers: Programming: Languages: D (55)
- Computers: Programming: Languages: Garbage Collected: Procedural (0)
Cyclone - C dialect, based partly on Popcorn, type-safe, polymorphic, gives C control over data representation and memory management, but prevents buffer overflows, dangling pointers, and format string attacks. Description, documents, download.
Hybrid Resource Control of Active Extensions - Combines dynamic and static checking; an extension of Click modular router, customized for active networking in Janos active network OS. Coded in Cyclone. Downloads: paper in PDF, Postscript gzip; slides in PDF, PowerPoint.
MediaNet - Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
The Open Kernel Environment - Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News] (March 5, 2004)
Cyclone Blows Away the Bugs for Programmers - Cyclone is similar to the C language, but far more bug resistant because it forces code to be checked thoroughly before authors can finish programs, via its special compiler which rewrites code or suggest fixes. [silicon.com] (November 21, 2001)
New Cyclone Programming Language: Bugs be Gone - Cornell University, AT&T Labs develop C variant far harder for authors to make bugs in when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator] (November 19, 2001)
C with Safety: Cyclone - Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot] (November 16, 2001)
Cyclone Blows Computer Bugs Out of Code - New computer language designed to avoid programming errors may prevent many security breaches, according to US computer scientists behind project, teams at Cornell University, AT&T Labs New York. [New Scientist] (November 16, 2001) Help build the largest human-edited directory on the web.