In this edition of the Papers We Love series, Jean Yang, PhD student at MIT, presents on An Axiomatic Basis for Computer Programming by C.A.R. Hoare.

Continue