An Axiomatic Basis for Computer Programming

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