3 ms·
Cyclone was an attempt at creating a safe dialect for C, it might be of some interest to people who have read the article: http://cyclone.thelanguage.org:8181/
by evangineer 15y ago
Cyclone was an attempt at creating a safe dialect for C, it might be of some interest to people who have read the article:
http://cyclone.thelanguage.org:8181/ http://cyclone.thelanguage.org:8181/
- SamReidHughes 15y agoThat's not the kind of safety we're talking about.
- evangineer 15y agoI realised that, as Pascal might put it Cyclone is a C like language designed to ensure that programs are correct. I saw it as a related form of safety others might be interested in. I already posted on Clight & CompCert which is much more salient in terms of ensuring compiler correctness and a safe subset that falls within the scope of the verified compiler's correctness.