Title of article
The early search for tractable ways of reasoning about programs
Author/Authors
C.B.، Jones, نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
-25
From page
26
To page
0
Abstract
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.
Keywords
Intersubband transitions , mid-infrared , multiple-wavelength emission , nonlinear optics , Quantum wells , quantum cascade laser , Second-harmonic generation
Journal title
IEEE ANNALS OF THE HISTORY OF COMPUTING
Serial Year
2003
Journal title
IEEE ANNALS OF THE HISTORY OF COMPUTING
Record number
89938
Link To Document