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:Click to share on Mastodon (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on Reddit (Opens in new window)Click to share on Pocket (Opens in new window)Click to share on Twitter (Opens in new window)Click to email a link to a friend (Opens in new window)Click to print (Opens in new window)
Nice! Looking forward to the next parts — keep them coming! 🙂 Posted by Yarden Katz