Cover Image
QR Code

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...

Full description

Published in:Communications of the ACM Vol. 52; no. 10; pp. 30 - 33
Main Author: Hoare, C. A. R.
Format: Opinion
Published: Association for Computing Machinery Oct2009
Subjects:
Computer software correctness
Computer software testing
Computer software development
Computer programmers
Axioms
Hoare, C. A. R.
Online Access:View this record in EBSCOhost
Summary: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.