An Axiomatic Basis for Computer Programming

Welcome to the DC/NoVA Papers We Love meetup!

Papers We Love is an international organization centered around the appreciation of computer science research papers. There's so much we can learn from the landmark research that shaped the field and the current studies that are shaping our future. Our goal is to create a community of tech professionals passionate about learning and sharing knowledge. Come join us!

New to research papers? Watch The Refreshingly Rewarding Realm of Research Papers (https://www.youtube.com/watch?v=8eRx5Wo3xYA) by Sean Cribbs.

Ideas and suggestions are welcome–fill our our interest survey here (https://docs.google.com/forms/d/e/1FAIpQLSeJwLQhnmzWcuyodPrSmqHgqrvNxRbnNSbiWAuwzHwshhy_Sg/viewform) and let us know what motivates you!

// Tentative Schedule

• 7:00-7:15–Informal paper discussion

• 7:15-7:20–Introduction and announcements

• 7:20-8:40–An Axiomatic Basis for Computer Programming, presented by Hugo

• 8:40-9:00–Informal paper discussion

// Directions

Optoro
1001 G St NW
Washington, DC 20001

Metro: 2 blocks away from Metro Center (red/blue/orange/silver) as well as Gallery Place (red/yellow/green).

If you're late, we totally understand–please still come! (via the patio is best) Just be sure to slip in quietly if a speaker is presenting.

// Paper

An Axiomatic Basis for Computer Programming by C.A.R. Hoare
[pdf: https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf ]

Abstract: "In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended toother branches of mathematics. This involves the elucidation of sets of axioms and rules of inference which can be used in proofs of the properties of computer programs. Examples are given of such axioms and rules, and a formal proof of a simple theorem is displayed. Finally, it is argued that important advantages, both theoretical and practical, may follow from a pursuance of these topics."