Hacker News
- Checked C - Microsoft Research http://research.microsoft.com/en-us/projects/checkedc/ 60 comments programming
- Article about Microsoft Research paper on "Checked C" also mentions Ada and SPARK. https://www.electronicdesign.com/automotive/it-s-time-use-safer-c 2 comments ada
- Checked C: Making C Safe by Extension - Microsoft Research https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/ 39 comments programming