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 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