Cyclone programming language
E698504
Cyclone is a safe dialect of the C programming language designed to prevent common memory-management and type-safety errors while retaining low-level control and performance.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Cyclone programming language canonical | 1 |
Statements (53)
| Predicate | Object |
|---|---|
| instanceOf |
C dialect
ⓘ
programming language ⓘ |
| basedOn | C programming language NERFINISHED ⓘ |
| compilesTo | native code ⓘ |
| compilesWith | GCC-based toolchain ⓘ |
| designedFor | safe systems programming ⓘ |
| developer |
AT&T Labs – Research
NERFINISHED
ⓘ
Atsushi Ohori NERFINISHED ⓘ Cornell University NERFINISHED ⓘ Dan Grossman NERFINISHED ⓘ Greg Morrisett NERFINISHED ⓘ Michael Hicks NERFINISHED ⓘ Trevor Jim NERFINISHED ⓘ University of Maryland NERFINISHED ⓘ Yitzhak Mandelbaum NERFINISHED ⓘ |
| executionModel | compiled language ⓘ |
| feature |
bounds-checked arrays
ⓘ
disallowance of arbitrary pointer arithmetic by default ⓘ exceptions ⓘ fat pointers ⓘ null-pointer checks ⓘ pattern matching ⓘ polymorphic functions ⓘ region annotations ⓘ region-based memory management ⓘ safe casts ⓘ safe pointer types ⓘ stack allocation with safety guarantees ⓘ tagged unions ⓘ |
| goal |
prevent common memory-management errors
ⓘ
prevent type-safety errors ⓘ retain C-like performance ⓘ retain low-level control ⓘ |
| influenced |
Rust programming language
NERFINISHED
ⓘ
research on safe systems programming ⓘ |
| influencedBy |
C programming language
NERFINISHED
ⓘ
region-based memory management research ⓘ type-safe programming language research ⓘ |
| license | open-source license ⓘ |
| memoryManagement |
optional garbage collection for some data
ⓘ
region-based memory management ⓘ |
| notablePublication |
“Cyclone: A Safe Dialect of C”
NERFINISHED
ⓘ
“Region-Based Memory Management in Cyclone” NERFINISHED ⓘ |
| paradigm |
imperative programming
ⓘ
procedural programming ⓘ systems programming ⓘ |
| safetyProperty |
prevents buffer overflows in well-typed programs
ⓘ
prevents dangling pointer dereferences in well-typed programs ⓘ prevents many format-string vulnerabilities ⓘ prevents many type-casting errors ⓘ |
| status | research and experimental language ⓘ |
| typeSystem | statically typed ⓘ |
| website | http://www.eecs.harvard.edu/~greg/cyclone/ ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.