Operational semantics of a focussing debugger (1995)

by K L Bernstein, E W Stark
Venue:In Proc. MFPS 95