Effective use of assertions in C++

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 11, 1996, Pages 28-32

  Marin, Mike A ^a  

^a Engineering Department   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346739205     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/240964.240969     Document Type: Article

References (6)

1. BACKHOUSE, R. C. Program Construction and Verification. Prentice-Hall, Englewood Cliffs, N.J., 1986.
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.
3. HOARE, C. An axiomatic basis for computer programming. CACM (October 1969), 576-583.
4. KERNIGHAN, B. W., AND RITCHIE, D. M. The C Programming Language. Second Edition. Prentice-Hall, Englewood Cliffs, N.J., 1988.
5. MAGUIRE, S. A. Writing Solid Code. Microsoft Press, Washington, 1993.
6. MEYER, B. Object-Oriented Software Construction. Prentice Hall International Ltd, London, 1988.