Cyclone
E50814
Cyclone is a statically typed, safe dialect of C designed to prevent common programming errors such as buffer overflows and memory leaks while retaining low-level control.
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
C dialect
ⓘ
programming language ⓘ |
| basedOn |
C
ⓘ
surface form:
C programming language
|
| category | systems programming language ⓘ |
| compilesTo | native code ⓘ |
| designedBy |
Dan Grossman
ⓘ
Greg Morrisett ⓘ Michael Hicks ⓘ Trevor Jim ⓘ |
| designedTo |
prevent buffer overflows
ⓘ
prevent common programming errors ⓘ prevent memory leaks ⓘ |
| designGoal | be a practical replacement for C in many contexts ⓘ |
| developedAt |
Bell Telephone Laboratories
ⓘ
surface form:
AT&T Labs Research
Cornell University ⓘ |
| eliminates |
dangling pointer errors
ⓘ
many memory leaks ⓘ most buffer overflows ⓘ |
| focusesOn |
control over low-level operations
ⓘ
memory safety ⓘ type safety ⓘ |
| goal | retain low-level control ⓘ |
| hasFeature |
bounds-checked arrays
ⓘ
fat pointers ⓘ nullable and non-null pointer distinction ⓘ region annotations ⓘ safe string handling ⓘ |
| hasImplementationLanguage | C ⓘ |
| hasSyntaxSimilarityWith | C ⓘ |
| hasTooling |
Cyclone compiler
ⓘ
static analysis tools ⓘ |
| inspiredBy | C ⓘ |
| introducedInPublication | “Cyclone: A Safe Dialect of C” ⓘ |
| license | open source license ⓘ |
| memoryManagement |
optional garbage collection
ⓘ
region-based ⓘ |
| paradigm |
imperative programming language
ⓘ
procedural programming language ⓘ |
| supports |
exceptions
ⓘ
pattern matching ⓘ region-based memory management ⓘ safe pointer types ⓘ tagged unions ⓘ |
| typingDiscipline |
safe typing
ⓘ
static typing ⓘ |
| useCase |
security-critical software
ⓘ
systems programming ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.