CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Cyclone

Cyclone is a programming language, a Safe Dialect of the C language. It uses region-based analysis of memory management for thread and stack contexts to prevent dangling pointers and provide sound analysis of sharing and the need for locks. It also provides existential parametrization and some other kinds of quantification to handle a generic class of cases. It works entirely at compile-time, performing these analyses in order to eliminate unnecessary locking and type-checking in the resulting C code.

---

This page is linked from: OKE