2006-12-18 rzach Classic Logic Papers, pt. 1 Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming. Share this: Share on Mastodon (Opens in new window) Mastodon Share on Facebook (Opens in new window) Facebook Share on Reddit (Opens in new window) Reddit Share on Pocket (Opens in new window) Pocket Share on X (Opens in new window) X Email a link to a friend (Opens in new window) Email Print (Opens in new window) Print
Nice! Looking forward to the next parts — keep them coming! 🙂 Posted by Yarden Katz