Map
Index
Random
Help
th

Quote: verify a subroutine by its pre and postconditions; if preconditions satisfied then postconditions will be after execution

topics > all references > references a-b > QuoteRef: bentJ10_1983 , p. 1043



Topic:
program proof via assertions

Quotation Skeleton

To verify a subroutine, we first state its … called, and its postcondition is what the routing … These conditions are more a contract than a … the routine will assume the burden of establishing …   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.