Map
Index
Random
Help
th

Quote: consistency test by annotating procedure with dependency relations for each result; useful for large, untidy structures

topics > all references > references i-l > QuoteRef: jackD6_1993 , p. 20



Topic:
debugging by usage rules
Topic:
dependency analysis

Quotation Skeleton

The Aspect bug detection scheme works as follows. … depends on certain arguments. An upper bound on … [specified] dependence is missing--that is, a result was computed with inadequate … there are no spurious reports. … Dependencies are tract between abstract components of variables … [Aspects] are invented by the user, who can … [p. 26] when there are complex interactions between large …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: debugging by usage rules (40 items)
Topic: dependency analysis (31 items)

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