| 
|
Quote: extend static source code analysis to related code that shares the same belief set
topics >
all references >
references e-f >
Topic:
debugging by usage rules
Quotation Skeleton
Consistency checkers can go beyond self-consistency, though. Code … We can then propagate beliefs held in one … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (40 items)