Issue No. 02 - April-June (2003 vol. 25)
Cliff B. Jones , University of Newcastle-upon-Tyne
<p>This article traces the history-up to around 1990-of research on reasoning about programs. The main focus is on sequential imperative programs but some comments are made on concurrency. The main thesis is that the idea of reasoning about programs has been around since they were first written; the search has been to find tractable methods.</p>
C. B. Jones, "The Early Search for Tractable Ways of Reasoning about Programs," in IEEE Annals of the History of Computing, vol. 25, no. , pp. 26-49, 2003.