Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
Conference on Domain-Specific Languages, 1997

A Slicing-Based Approach for Locating Type Errors

T. B. Dinesh
Frank Tip
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 PDF form.

  • 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.

?Need help? Use our Contacts page.

Last changed: 15 April 2002 aw
Technical Program
Conference Index