Map
Index
Random
Help
th

Quote: an intermittent assertion holds at least once when control is at that point

topics > all references > references m-o > QuoteRef: mannZ5_1978 , p. 212



Topic:
program proof via assertions

Quotation Skeleton

In the method we are about to introduce, … sometime control will pass through the point and … .we call these assertions intermittent assertions.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: program proof via assertions (61 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.