Ryan Nichols on An Axiomatic Basis for Computer Programming

Ryan Nichols will present An Axiomatic Basis for Computer Programming (https://github.com/papers-we-love/papers-we-love/blob/master/comp_sci_fundamentals_and_history/axiomatic-basis-computer-programming.pdf?raw=true) by C.A.R Hoare.

A brilliant paper written in 1969, which introduced some of the most influential components of programming which we all rely on today. We'll be discussing automatic verification of program properties, Hoare logic, and more.

Ryan Nichols (@rynodivino (https://twitter.com/rynodivino)) is a front-end engineer at Yahoo. He enjoys and (and making terrible jokes)!