Viewpoint: Retrospective: an axiomatic basis for computer programming

Authors:
C.A.R. Hoare
Affiliations:
Microsoft Research in Cambridge, U.K. and Oxford University
Venue:
Communications of the ACM - A View of Parallel Computing
Year:
2009

Citing 0
Cited 2

Experiences in applying formal verification in robotics

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Guaranteeing functional safety: design for provability and computer-aided verification

Autonomous Robots

Quantified Score

Hi-index	0.00

Visualization

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.