Abstract debugging of higher-order imperative languages (1993)

by F Bourdoncle
Venue:In Proc. of the ACM Conf. on Prog. Lang. Design and Implementation (PLDI’93