Cover Image
QR Code

Responsible Programming.

The author focuses on the need for computer programmers to have a clear sense of responsibility for the reliable operation of the software they write and a resistance to compromise and error. He states that programmer Steve Crocker pursued a dissertation on provable correctness of programs and the c...

Full description

Published in:Communications of the ACM Vol. 57; no. 7; pp. 7 - 8
Main Author: Cerf, Vinton G.
Format: Article
Published: Association for Computing Machinery Jul2014
Subjects:
Computer programming
Computer programmers
Software reliability
Software development tools
Subroutines (Computer programs)
Software libraries (Computer programming)
Crocker, Steve
Online Access:View this record in EBSCOhost
Summary:The author focuses on the need for computer programmers to have a clear sense of responsibility for the reliable operation of the software they write and a resistance to compromise and error. He states that programmer Steve Crocker pursued a dissertation on provable correctness of programs and the complexity of tools available to programmers for validating assertions. He talks about the use of subroutine libraries in verifying program correctness and how it can assist in the validation process.