New top story on Hacker News: Checked C: extension to C that adds static and dynamic checking

Checked C: extension to C that adds static and dynamic checking
5 by ingve | 2 comments on Hacker News.