|
This category is on Cyclone, a C dialect, based partly on Cornell University's Popcorn safe C-like assembly language, part of their Typed Assembly Language (TAL) project. Cyclone is type-safe like Java, Scheme, and ML; and polymorphic. It gives C's low level speed and control of data representation and memory management, but is far safer, preventing writing programs with buffer overflows, ... [MORE]
|
|
|
1. |
C with Safety: Cyclone
-
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]
|
|
|
2. |
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]
|
|
|
3. |
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]
|
|
|
4. |
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]
|
|
|
5. |
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.
|
|
|
6. |
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.
|
|
|
7. |
MediaNet
-
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
|
|
|
8. |
Open Kernel Environment: OKE
-
Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
|
|
|
9. |
The Open Kernel Environment
-
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News]
|
|
|
