The Community for Technology Leaders
Green Image
Issue No. 02 - April-June (2003 vol. 25)
ISSN: 1058-6180
pp: 14-25
C.A.R. Hoare , Microsoft Research
ABSTRACT
<p>Assertions are Boolean formulas placed in program text at places where their evaluation will always be true. If the assertions are strong enough, they express everything that the programmers on either side of an interface need to know about the program on the other side, even before the code is written. Indeed, assertions can serve as the basis of a formal proof of the correctness of a complete program.</p>
INDEX TERMS
CITATION
C.A.R. Hoare, "Assertions: A Personal Perspective", IEEE Annals of the History of Computing, vol. 25, no. , pp. 14-25, April-June 2003, doi:10.1109/MAHC.2003.1203056
93 ms
(Ver )