C with Safety: Cyclone 
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]
http://slashdot.org/developers/01/11/16/1757251.shtml
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.
http://cyclone.thelanguage.org/
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]
http://software.silicon.com/os/0,39024651,11029327,00.htm
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]
http://www.newscientist.com/article.ns?id=dn1578
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.
http://www.cs.utah.edu/flux/papers/hybrid-openarch03-base.html
MediaNet 
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
http://www.cs.umd.edu/projects/medianet/
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]
http://www.windowsitpro.com/Article/ArticleID/23262/23262.html
Open Kernel Environment: OKE 
Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
http://www.liacs.nl/~herbertb/projects/oke/
The Open Kernel Environment 
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News]
http://www.csdaily.com/article.pl?sid=04/03/06/0838255
|
|