Abstract debugging of higher-order imperative languages (1993)

by F Bourdoncle
Venue:In ACM PLDI ’93