Ryan Nichols on An Axiomatic Basis for Computer Programming

Video

2015-05-08

Meetup: http://www.meetup.com/Papers-We-Love-LA/events/221989188/
Paper: https://github.com/papers-we-love/papers-we-love/blob/master/comp_sci_fundamentals_and_history/axiomatic-basis-computer-programming.pdf?raw=true

---------------
Sponsored by Yahoo (@Yahoo)
---------------

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) is a front-end engineer at Yahoo. He enjoys <cool hobby> and <funny interest> (and making terrible jokes)!