Skip to content

Abstract Debugging of Higher-Order Imperative Languages.

Franois Bourdoncle

VenueA*PLDI
Year1993
ProceedingsPLDI

Browse the full PLDI paper archive.