Title of article
Assertions: a personal perspective
Author/Authors
C.A.R.، Hoare, نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
-13
From page
14
To page
0
Abstract
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.
Keywords
mid-infrared , Intersubband transitions , multiple-wavelength emission , nonlinear optics , Quantum wells , Second-harmonic generation , quantum cascade laser
Journal title
IEEE ANNALS OF THE HISTORY OF COMPUTING
Serial Year
2003
Journal title
IEEE ANNALS OF THE HISTORY OF COMPUTING
Record number
89937
Link To Document