Conference on Domain-Specific Languages, 1997
A Slicing-Based Approach for Locating Type Errors
T. B. Dinesh
IBM T.J. Watson Research Center
The effectiveness of a type checking tool strongly depends on the
accuracy of the positional information that is associated with type
errors. We present an approach where the location associated with an
error messagee is defined as a slice Pe of the program P
being type checked. We show that this approach yields highly accurate
positional information: Pe is a program that contains
precisely those program constructs in P that caused error e.
Semantically, we have the interesting property that type checking
Pe is guaranteed to produce the same error e. Our approach is
completely language-independent, and has been implemented for a
significant subset of Pascal.
- View the full text of this paper in
- If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.
- To become a USENIX Member, please see our Membership Information.