Hacker News
- Cerberus – Semantic models for C https://www.cl.cam.ac.uk/~pes20/cerberus/ 8 comments
- A semantic model for a substantial fragment of C https://www.cl.cam.ac.uk/~pes20/cerberus/ 75 comments
Linking pages
- "What The Hardware Does" is not What Your Program Does: Uninitialized Memory https://www.ralfj.de/blog/2019/07/14/uninit.html 312 comments
- Pointers Are Complicated, or: What's in a Byte? https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html 161 comments
- C Standard meeting, April-May 2019 – ACCU World of Code https://blogs.accu.org/?p=1835 0 comments
- Background checks on pointer values being considered for C – ACCU World of Code https://blogs.accu.org/?p=1902 0 comments