ViewpointRetrospective

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Viewpoint
Retrospective: an axiomatic basis for computer programming

Full text

Digital Edition , Html

Html (19 KB), Pdf

Pdf (16.63 MB)

Source

Communications of the ACM archive
Volume 52 , Issue 10 (October 2009) table of contents
A View of Parallel Computing

COLUMN: Viewpoints table of contents

Pages 30-32

Year of Publication: 2009

ISSN:0001-0782

Author

C.A.R. Hoare

Microsoft Research in Cambridge, U.K. and Oxford University

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9075, Downloads (12 Months): 9075, Citation Count: 0

Additional Information:

abstract index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1562764.1562779 What is a DOI?

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