Viewpoint: Retrospective: An Axiomatic Basis for Computer Programming.
The author presents his views on the use of axioms for computer programming. He reflects on the ways in which the field has changed, on the occasion of the 40th anniversary of his first published paper on the subject. He notes some of the ways in which software verification using axioms can help to...
| Publicado en: | Communications of the ACM Vol. 52; no. 10; pp. 30 - 33 |
|---|---|
| Autor principal: | |
| Formato: | Opinion |
| Publicado: |
Association for Computing Machinery
Oct2009
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=44618985&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 44618985 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Oct2009 vid: 52 iid: 10 pid: 68 pub: Association for Computing Machinery artinfo: ui: 44618985 ppf: 30 ppct: 3 formats: tig: atl: Viewpoint: Retrospective: An Axiomatic Basis for Computer Programming. aug: au: Hoare, C. A. R. affil: Principal Researcher at Microsoft Research in Cambridge, U.K. su: Computer software correctness Computer software testing Computer software development Computer programmers Axioms Hoare, C. A. R. sug: subj: Computer software correctness Computer software testing Computer software development Computer programmers Axioms Hoare, C. A. R. ab: The author presents his views on the use of axioms for computer programming. He reflects on the ways in which the field has changed, on the occasion of the 40th anniversary of his first published paper on the subject. He notes some of the ways in which software verification using axioms can help to guard against malware, and observes that software testing is typically more of a test of the programmer than a test of the code. pubtype: Periodical doctype: Opinion src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|