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