paper

Fifty years of Hoare's Logic

arXiv:1904.03917

Abstract

We present a history of Hoare's logic.

79 pages. To appear in Formal Aspects of Computing