Issue No. 03 - May/June (1991 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.88940
<p>Spyder, a system for selective checkpointing of computational sequences, is presented. It lets users backtrack from checkpoints without the need to reexecute the program to reach recent prior states. In contrast to more comprehensive (and storage-intensive) checkpointing schemes, backtracking in this approach is constrained to limit storage requirements. The resulting debugger offers a structured view of dynamic events, similar to lexical scope rules' effect on static visibility. The debugger also speeds backtracking to statements before loops and provides what-if capabilities.</p>
Spyder; execution-backtracking approach; selective checkpointing; computational sequences; prior states; checkpointing schemes; backtracking; storage requirements; debugger; structured view; dynamic events; static visibility; what-if capabilities; program debugging; programming; storage management
R. A. DeMillo, E. H. Spafford and H. Agrawal, "An Execution-Backtracking Approach to Debugging," in IEEE Software, vol. 8, no. , pp. 21-26, 1991.