Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.


Read the paper How did software get so reliable without proof? by Tony Hoare.

Why are we reading this paper?

What to learn from this paper?

Answer this question

How do you think things have changed since this paper was written, 25 years ago? Is software more or less reliable than it was then? Do Hoare's explanations still hold?