Selective interpretation as a technique for debugging computationally intensive programs. - Benjamin B. Chase; Robert T. Hood (PLDI, 1987)