Map
Index
Random
Help
th

Quote: debug via a sequence of input/output transformations; at each stage verify the results

topics > all references > references i-l > QuoteRef: leavBM7_1977 , p. 475



Topic:
transformation of programs
Topic:
debugging techniques

Quotation Skeleton

The debugging methodology will consist of setting up … so that the correctness of each transformation relative …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: transformation of programs (27 items)
Topic: debugging techniques (23 items)

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