Hacker News new | ask | show | jobs
by cc_ 4377 days ago
They use a formally-specified subset of C described in Harvey Tuch's PhD thesis: http://www.ssrg.nicta.com.au/publications/papers/Tuch:phd.pd...