article

Free access

Effective use of assertions in C++

Author:

Mike A. MarinAuthors Info & Claims

ACM SIGPLAN Notices, Volume 31, Issue 11

Pages 28 - 32

https://doi.org/10.1145/240964.240969

Published: 01 November 1996 Publication History

PDF eReader

References

[1]

[1] BACKHOUSE, R. C. Program Construction and Verification . Prentice-Hall, Englewood Cliffs, N.J., 1986.

Digital Library

Google Scholar

[2]

[2] FLOYD, R. W. Assigning meanings to programs. In Proc. of Symposia in Applied Mathematics, Mathematical aspects of Computer Science (Vol. 19 1967), American Mathematical Society, pp. 19-32.

Crossref

Google Scholar

[3]

[3] HOARE, C. An axiomatic basis for computer programming. CACM (October 1969), 576-583.

Digital Library

Google Scholar

[4]

[4] KERNIGHAN, B. W., AND RITCHIE, D. M. The C Programming Language. Second Edition. Prentice-Hall, Englewood Cliffs, N.J., 1988.

Digital Library

Google Scholar

[5]

[5] MAGUIRE, S. A. Writing Solid Code. Microsoft Press, Washington, 1993.

Digital Library

Google Scholar

[6]

[6] MEYER, B. Object-Oriented Software Construction. Prentice Hall International Ltd, London, 1988.

Digital Library

Google Scholar

Cited By

View all

Abramson DDinh MKurniawan DMoench BDeRose LHariri SKeahey K(2010)Data centric highly parallel debuggingProceedings of the 19th ACM International Symposium on High Performance Distributed Computing10.1145/1851476.1851491(119-129)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1145/1851476.1851491

Recommendations

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 31, Issue 11

Nov. 1996

73 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/240964

Editor:
A. Michael Berman
Rowan College of New Jersey,Glassboro,NJ

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1996

Published in SIGPLAN Volume 31, Issue 11

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
735
Total Downloads

Downloads (Last 12 months)306
Downloads (Last 6 weeks)60

Reflects downloads up to 31 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Abramson DDinh MKurniawan DMoench BDeRose LHariri SKeahey K(2010)Data centric highly parallel debuggingProceedings of the 19th ACM International Symposium on High Performance Distributed Computing10.1145/1851476.1851491(119-129)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1145/1851476.1851491

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

C++: The Design and Evolution of C++

More Effective C++: 35 New Ways to Improve Your Programs and Designs

Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14