Abstract debugging of higher-order imperative languages (1993)

by F Bourdoncle
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation