Viewpoint: Retrospective: An axiomatic basis for computer programming

Communications of the ACM

Volumn 52, Issue 10, 2009, Pages 30-32

  Hoare, C A R ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70349682714     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1562764.1562779     Document Type: Note

References (1)

1. Hoare, C.A.R. An axiomatic basis for computer programming. Commun. ACM 12, 10 (Oct. 1969), 576-580.