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...
| Published in: | Communications of the ACM Vol. 57; no. 7; pp. 7 - 8 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jul2014
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=96866615&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 96866615 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jul2014 vid: 57 iid: 7 pid: 68 pub: Association for Computing Machinery artinfo: ui: 96866615 10.1145/2631185 ppf: 7 ppct: 1 formats: tig: atl: Responsible Programming. aug: au: Cerf, Vinton G. affil: Vice president and Chief Internet Evangelist, Google. su: Computer programming Computer programmers Software reliability Software development tools Subroutines (Computer programs) Software libraries (Computer programming) Crocker, Steve sug: subj: Computer programming Computer programmers Software reliability Software development tools Subroutines (Computer programs) Software libraries (Computer programming) Crocker, Steve ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|