GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Cyclone programming language
URI:
https://gptkb.org/entity/Cyclone_programming_language
GPTKB entity
Statements (27)
Predicate
Object
gptkbp:instanceOf
gptkb:programming_language
gptkbp:compilesTo
machine code
gptkbp:designedFor
safe systems programming
gptkbp:developer
gptkb:AT&T_Labs_Research
gptkbp:extendsTo
gptkb:C_programming_language
gptkbp:firstAppearance
2001
https://www.w3.org/2000/01/rdf-schema#label
Cyclone programming language
gptkbp:influenced
gptkb:Rust_programming_language
gptkbp:influencedBy
gptkb:C_programming_language
gptkbp:latestReleaseVersion
1.0
gptkbp:license
open source
gptkbp:notableFeature
prevents buffer overflows
prevents dangling pointer errors
prevents format string attacks
gptkbp:paradigm
imperative programming
procedural programming
structured programming
gptkbp:platform
cross-platform
gptkbp:RAM
region-based memory management
optional garbage collection
gptkbp:status
inactive
gptkbp:typingDiscipline
static typing
safe manual memory management
gptkbp:website
https://cyclone.thelanguage.org/
gptkbp:bfsParent
gptkb:Greg_Morrisett
gptkb:Mary_Pierre_Morrisett
gptkbp:bfsLayer
7