The early search for tractable ways of reasoning about programs

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; th...

Full description

Saved in:
Bibliographic Details
Published inIEEE annals of the history of computing Vol. 25; no. 2; pp. 26 - 49
Main Author Jones, C.B.
Format Journal Article
LanguageEnglish
Published Los Alamitos, CA IEEE 01.04.2003
IEEE Computer Society
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
20th century
Automatic control
Automatic logic units
Boxes
Computation
Computers
Concurrency
Concurrent computing
Flowcharts
General history of technology
History of science and technology
Mathematics
Proposals
Reasoning
Reasoning about programs
Searching
Technology
Century 20
Program
Language
Reasoning
Technology
Data processing
Method
Axiom
Algorithm
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1058-6180
1934-1547
DOI:10.1109/MAHC.2003.1203057