Reverse execution of programs

Authors:
Bitan Biswas;R. Mall
Affiliations:
Silicon Automation Systems, Bangalore, India;School of Computing, Curtin University of Technology, Perth, Australia
Venue:
ACM SIGPLAN Notices
Year:
1999

Citing 0
Cited 11

Efficient optimistic parallel simulations using reverse computation

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Assembly instruction level reverse execution for debugging

ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallel distributed simulation and modeling methods: an algorithm for fully-reversible optimistic parallel simulation

Proceedings of the 35th conference on Winter simulation: driving innovation
Revisiting an automatic program inverter for Lisp

ACM SIGPLAN Notices
Dynamic Reverse Code Generation for Backward Execution

Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach for Incorporating Rollback through Perfectly Reversible Computation in a Stream Simulator

Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Detection and diagnosis of control interception

ICICS'07 Proceedings of the 9th international conference on Information and communications security
Inferring arbitrary distributions for data and computation

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
A new method for program inversion

CC'12 Proceedings of the 21st international conference on Compiler Construction
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation

Proceedings of the Winter Simulation Conference
Reversible simulations of elastic collisions

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conventional debuggers do not allow users to go back and examine the program states at statements which have already been executed. In case the user wants to examine the program state at a statement which was executed sometime back, he is forced to restart the entire debugging process. To overcome this problem, we examine the issue of reverse execution of programs. To this end, we introduce the concept of inverse of a statement. We describe our implementation of a debugger which can execute C programs in either forward or backward direction depending upon an option set by the user. Our approach is easily extendible to other programming languages.