1. [n. d.]. The Rust programming language. http://www.rust-lang.org. ([n. d.]). [n. d.]. The Rust programming language. http://www.rust-lang.org. ([n. d.]).
2. F. Boussinot . 2005 . " FairThreads: Mixing Cooperative and Preemptive Threads in C .". Concurrency and Computation: Practice and Experience , (2005). F. Boussinot. 2005. "FairThreads: Mixing Cooperative and Preemptive Threads in C.". Concurrency and Computation: Practice and Experience, (2005).
3. The ESTEREL language
4. Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
5. Trevor Jim Michael Hicks Yanling Wang Dan Grossman , Greg Morrisett and James Cheney . 2002 . " Region-Based Memory Management in Cyclone .". In ACM SIGPLAN Conference on Programming Language Design and Implementation (2002). Trevor Jim Michael Hicks Yanling Wang Dan Grossman, Greg Morrisett and James Cheney. 2002. "Region-Based Memory Management in Cyclone.". In ACM SIGPLAN Conference on Programming Language Design and Implementation (2002).