Map
Index
Random
Help
th

Quote: verification gives programmers a language for understanding the program as it is written; important explanations become assertions

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



Topic:
program proof via assertions
Topic:
constructing proof and program together

Quotation Skeleton

One of the major benefits of program verification … [of why a program works]. The language is first used as code is developed. The … explanations end up in the program text as …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: program proof via assertions (61 items)
Topic: constructing proof and program together (22 items)

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