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.

All labels observed (1)

Label Occurrences
Cyclone canonical 3

How this entity was disambiguated

Statements (47)

Predicate Object
instanceOf C dialect
programming language
basedOn C programming language
linked to: C
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 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

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Modula-3 influenced Cyclone
Rust influencedBy Cyclone
Michael Hicks notableWork Cyclone