Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming.
Classic Logic Papers, pt. 1
by
Tags:
Comments
One response to “Classic Logic Papers, pt. 1”
-
Nice! Looking forward to the next parts — keep them coming! 🙂 Posted by Yarden Katz
Leave a Reply