Check out the new USENIX Web site. next up previous
Next: Category 1: Inconsistent Checking Up: Results Previous: Results

Type Error Categorization

We categorize the unique type errors into three groups that we examine below.



Subsections

Catherine Zhang 2002-05-13