A Slicing-Based Approach for Locating Type Errors
- F. Tip
- T.B. Dinesh
- 2001
- ACM TOSEM
Publications
4 results for T.B. Dinesh
Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation
- J. Field
- J. Heering
- et al.
- 1998
- ACM Computing Surveys
A slicing-based approach for locating type errors
- T.B. Dinesh
- Frank Tip
- 1997
- DSL 1997
Toward a Complete Transformational Toolkit for Compilers
- J.A. Bergstra
- T.B. Dinesh
- et al.
- 1997
- ACM TOPLAS