Stem reexecut$ (all stems)
2 papers:
- PLDI-1994-NetzerW #debugging #incremental #source code
- Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.
- JICSLP-1992-CharlierH #abstract interpretation #prolog
- Reexecution in Abstract Interpretation of Prolog (BLC, PVH), pp. 750–764.