Also, slightly less advanced: *A Discipline of Programming* https://www.amazon.c... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mcguire on July 16, 2018 | parent | context | favorite | on: A Parable by Dijkstra (1973)

Also, slightly less advanced:

A Discipline of Programming

https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks...

For more practical fun, consider Frama-C, SPARK, and Dafny.

Applications are open for YC Summer 2023
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact