| 
|
Quote: detect violations of design rules by instrumenting the code using a static alias analysis; can correct erroneous executions on the fly
Topic:
debugging by usage rules
Topic:
exception handling with resumption
Quotation Skeleton
We have developed both static and dynamic techniques … context-sensitive, flow-insensitive, inclusion-based pointer alias analysis. Static results … instruments the source program to catch all violations … [such as recording relevant information or correcting an erroneous execution on the fly]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (41 items)
Topic: exception handling with resumption (31 items)