SIGN IN
SIGN UP
Laws of programming
Full Text:
PDF
Buy this Article
Authors:
C. A. R. Hoare
Univ. of Texas, Austin
I. J. Hayes
Univ. of Queensland, Australia
He Jifeng
Oxford Univ., Oxford, UK
C. C. Morgan
Oxford Univ., Oxford, UK
A. W. Roscoe
Oxford Univ., Oxford, UK
J. W. Sanders
Oxford Univ., Oxford, UK
I. H. Sorensen
Oxford Univ., Oxford, UK
J. M. Spivey
Oxford Univ., Oxford, UK
B. A. Sufrin
Oxford Univ., Oxford, UK
1987 Article
Bibliometrics
· Downloads (6 Weeks): 7
· Downloads (12 Months): 55
· Downloads (cumulative): 991
· Citation Count: 75
Published in:
· Magazine
Communications of the ACM
CACM Homepage
archive
Volume 30 Issue 8, Aug. 1987
Pages 672-686
ACM
New York, NY
, USA
table of contents
doi>
10.1145/27651.27653
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
algebraic approaches to semantics
design
languages
optimization
pre- and post-conditions
program transformation
semantics
specification techniques
theory
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder