Map
Index
Random
Help
th

Quote: a program P is correct for specification S if P is as determined as S and every mechanism for P is also one for S

topics > all references > references g-h > QuoteRef: hehnEC2_1984 , p. 140



Topic:
program proof via assertions

Quotation Skeleton

Program P is said to be correct for … input is supplied, P is as determined as … for proving whether a given program is correct …   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.