usenix conference policies
A Slicing-Based Approach for Locating Type Errors
Authors:
T. B. Dinesh, CWI, and Frank Tip, IBM T. J. Watson Research Center
Abstract:
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.
BibTeX
@inproceedings {260984,
author = {T. B. Dinesh and Frank Tip},
title = {A {Slicing-Based} Approach for Locating Type Errors},
booktitle = {Conference on Domain-Specific Languages (DSL 97)},
year = {1997},
address = {Santa Barbara, CA },
url = {https://www.usenix.org/conference/dsl-97/slicing-based-approach-locating-type-errors},
publisher = {USENIX Association},
month = oct
}
author = {T. B. Dinesh and Frank Tip},
title = {A {Slicing-Based} Approach for Locating Type Errors},
booktitle = {Conference on Domain-Specific Languages (DSL 97)},
year = {1997},
address = {Santa Barbara, CA },
url = {https://www.usenix.org/conference/dsl-97/slicing-based-approach-locating-type-errors},
publisher = {USENIX Association},
month = oct
}
connect with us