The Community for Technology Leaders
Green Image
Issue No. 02 - April-June (2003 vol. 25)
ISSN: 1058-6180
pp: 26-49
Cliff B. Jones , University of Newcastle-upon-Tyne
ABSTRACT
<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>
INDEX TERMS
CITATION
Cliff B. Jones, "The Early Search for Tractable Ways of Reasoning about Programs", IEEE Annals of the History of Computing, vol. 25, no. , pp. 26-49, April-June 2003, doi:10.1109/MAHC.2003.1203057
100 ms
(Ver )