Past Meetup

Ryan Nichols on An Axiomatic Basis for Computer Programming

This Meetup is past

16 people went

Yahoo Center

2400 Broadway Building D, 1st Floor · Santa Monica, CA

How to find us

Yahoo is on the first floor, by the elevators, there will be signs

Location image of event venue

Details

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)!