Reverse execution of programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reverse execution of programs

Full text

Pdf (720 KB)

Source

ACM SIGPLAN Notices archive
Volume 34 , Issue 4 (April 1999) table of contents

Pages: 61 - 69

Year of Publication: 1999

ISSN:0362-1340

Authors

Bitan Biswas	Silicon Automation Systems, Bangalore, India
R. Mall	School of Computing, Curtin University of Technology, Perth, Australia

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 26, Citation Count: 6

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/312009.312079 What is a DOI?

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.

CITED BY 6

	Christopher D. Carothers , Kalyan S. Perumalla , Richard M. Fujimoto, Efficient optimistic parallel simulations using reverse computation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.9 n.3, p.224-253, July 1999
	Michael D. Peters , Christopher D. Carothers, Parallel distributed simulation and modeling methods: an algorithm for fully-reversible optimistic parallel simulation, Proceedings of the 35th conference on Winter simulation: driving innovation, December 07-10, 2003, New Orleans, Louisiana
	Tankut Akgul , Vincent J. Mooney III, Assembly instruction level reverse execution for debugging, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.149-198, April 2004
	Robert Glück , Masahiko Kawabe, Revisiting an automatic program inverter for Lisp, ACM SIGPLAN Notices, v.40 n.5, p.8-17, May 2005
	David W. Bauer , Ernest H. Page, 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, p.171-178, June 12-15, 2007
	Jooyong Lee, Dynamic Reverse Code Generation for Backward Execution, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.4, p.37-54, May, 2007