| 
|
Quote: using consistency rules to catch null reference errors
topics >
all references >
references e-f >
Topic:
debugging by usage rules
Quotation Skeleton
[For example,] the dereference of pointer p implies the … and gives an error if p's belief set … Comparison [with null] implies two things. First, p's belief … An error is given if the beliefs are … Second, after the conditional, p is null on … , and not null on the false Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (40 items)