Abstract debugging of high-order imperative languages (0)

by F Bourdoncle
Venue:In SIGPLAN '93 Conf. on Programming Language Design and Implementation