A slicing-based approach for locating type errors

Frank Tip, T. B. Dinesh. A slicing-based approach for locating type errors. ACM Transactions on Software Engineering Methodology, 10(1):5-55, 2001. [doi]

Abstract

Abstract is missing.