Advanced search

Discussion on the ideal of program-correctness by Tony Hoare

Download
[thumbnail of 2007c_CJ_50-3_CARH_Program_Correctness (1).pdf]
Preview
Text
- Published Version
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Lists

Josephs, M. B., Jones, C., Jackson, M., Turner, A., Holcombe, M., Sharman, G., Luo, Z. H., Lloyd, M., Haworth, G. M. orcid id iconORCID: https://orcid.org/0000-0001-9896-1448, Tully, C. and Crocker, D. (2007) Discussion on the ideal of program-correctness by Tony Hoare. Computer Journal, 50 (3). pp. 261-268. ISSN 0010-4620 doi: 10.1093/comjnl/bxl079

Altmetric Badge

Item Type Article
URI https://reading-clone.eprints-hosting.org/id/eprint/15296
Identification Number/DOI 10.1093/comjnl/bxl079
Refereed Yes
Divisions Science
Publisher Oxford University Press
Download/View statistics View download statistics for this item
Download
[thumbnail of 2007c_CJ_50-3_CARH_Program_Correctness (1).pdf]
Preview
Text
- Published Version
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Lists
Download Statistics

Downloads

Downloads per month over past year

Deposit Details

University Staff: Request a correction | Centaur Editors: Update this record

Search Google Scholar