An Axiomatic Basis for Computer Programming
Details
An Axiomatic Basis for Computer Programming by C.A.R. Hoare
https://github.com/papers-we-love/papers-we-love/blob/master/comp_sci_fundamentals_and_history/axiomatic-basis-computer-programming.pdf
Presented by Valentin Robert (twitter (https://twitter.com/Ptival))
Street parking on 6th, 7th & 8th Avenues north of B Street is usually easy at that hour. Meters nearby are free after 6. Read signage before you park on A street.
If you're interested in presenting a paper please fill out this form (https://docs.google.com/forms/d/e/1FAIpQLScaI-fWdys27-ByT_HdtsJ73V4AxZr0hf1GSqLsQ1IwAaPdIQ/viewform) or talk to us in person at the meetup.
This month we're going to try livestreaming the talk. Join us at: https://www.youtube.com/channel/UCYPNnoVAQqb2Mue9v9f2euA/live
An Axiomatic Basis for Computer Programming