A case-study of a slicing-based approach for locating type errors (1997)

by T B Dinesh, F Tip
Venue:In Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Speci�cations �ASF+SDF'97