C.A.R. Hoare
Abstract
C.A.R. Hoare revisits his past Communications article on the axiomatic approach to programming and uses it as a touchstone for the future.
Index Terms
- Viewpoint
Retrospective: an axiomatic basis for computer programming
Recommendations
A retrospective (Panel): Six perennial issues in computer graphics
Graphics has been an industry for more than 15 years. Some workers trace its origins almost )0 years. The dramatic gains in silicon technology along with more highly developed understanding of the mathematics of graphics have transformed the ...
A retrospective (Panel): Six perennial issues in computer graphics
SIGGRAPH '84: Proceedings of the 11th annual conference on Computer graphics and interactive techniquesGraphics has been an industry for more than 15 years. Some workers trace its origins almost )0 years. The dramatic gains in silicon technology along with more highly developed understanding of the mathematics of graphics have transformed the ...
Viewpoint-centred reuse: bridging the gap between reusability and the needs of the reuser
The "Reuse without Reusers" SyndromeThe problems of low productivity, late delivery and poor software quality are, unfortunately, characteristic of the software industry (Horowitz and Munson 1989). Increasingly, software developers are looking towards ...
Comments