  |
Cyclone - http://cyclone.thelanguage.org/
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. |
| |
MediaNet - http://www.cs.umd.edu/projects/medianet/
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone. |
| |
Hybrid Resource Control of Active Extensions - http://www.cs.utah.edu/flux/papers/hybrid-openarch03-base.html
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. |
| |
The Open Kernel Environment - http://www.csdaily.com/article.pl?sid=04/03/06/0838255
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News] |
| |
Cyclone Blows Away the Bugs for Programmers - http://software.silicon.com/os/0,39024651,11029327,00.htm
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] |