Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Dafny – A programming language with a program verifier. Parent comment
http://www.spark-2014.org/uploads/itp_2014_r610.pdf
http://www.anthonyhall.org/c_by_c_secure_system.pdf
http://libre.adacore.com/tools/spark-gpl-edition/
There are no comments on this comment yet.
http://www.spark-2014.org/uploads/itp_2014_r610.pdf
http://www.anthonyhall.org/c_by_c_secure_system.pdf
http://libre.adacore.com/tools/spark-gpl-edition/