An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
ACM SIGPLAN Notices - Special issue on programming language design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
| Hi-index | 0.00 |
Reliability considerations had little influence in the design of the first generation of computers. Notable exceptions being, on the hardware side, some circuitry incorporated into the UNIVAC I for checking purposes, and on the software side, the frequency counts employed by von Neumann and Goldstine for measurement purposes. The second generation of computers witnessed a wider interest in hardware reliability while essentially ignoring the software reliability problem. Current computer systems (e.g., IBM/370) incorporate elaborate hardware reliability considerations in their design while continuing to ignore reliable software design.