Los Angeles - May 8, 2015
Ryan Nichols on An Axiomatic Basis for Computer Programming
- 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
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)!
The Los Angeles Chapter would like to thank Yahoo for helping to make this meetup possible.