Yep. How it always goes. Fortunately, Cyclones region and dynamic safety helped inspire Rust's scheme. It went somewhere even if not for C programmers in genera

Yep. How it always goes. Fortunately, Cyclones region and dynamic safety helped inspire Rust's scheme. It went somewhere even if not for C programmers in general. Far as also-rans, there's Microsoft's Vault, FLINT's C0 used in Verisoft for whole-system verification, and Clay that's mainly applied by Lea Wittie in stuff like device drivers. https://web.archive.org/web/20080219014100/http://research.microsoft.com/vault/ https://web.archive.org/web/20080219014100/http://research.m... http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.468.2032&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.468... http://www.verisoft.de/VerisoftRepository.html http://www.verisoft.de/VerisoftRepository.html http://www.eg.bucknell.edu/~lwittie/research/Clay.pdf http://www.eg.bucknell.edu/~lwittie/research/Clay.pdf http://www.eg.bucknell.edu/~lwittie/research.html http://www.eg.bucknell.edu/~lwittie/research.html