Retrospective: An Axiomatic Basis for Computer Programming

Retrospective: An Axiomatic Basis for Computer Programming, by C.A.R. Hoare:

This month marks the 40th anniversary of the publication of the first article I wrote as an academic. I have been invited to give my personal view of the advances that have been made in the subject since then, and the further advances that remain to be made. Which of them did I expect, and which of them surprised me?

An interesting review of the history of computing. He has some nice perspectives on the complementarity of testing and formal methods, and how the growing cracking industry became an unexpected driving force behind industrial interest in verification.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Original article

George Necula put up a scan:
C.A.R. Hoare, 1969. An Axiomatic Basis for Computer Programming. Comm. ACM 12(10):576–580.

There was an LtU story, but it didn't attract a firestorm of comment.