1999ACM SIGPLAN NoticesOpen access

Reverse execution of programs

Bitan Biswas, Raghvendra Mall

Open full text 35 citations

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.

Open-access reader

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 35 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Computer science, Debugger, Debugging, Programming language, Statement (logic), Process (computing), Set (abstract data type), State (computer science)

Related papers

Back to paper searchBrowse research topicsOriginal source
Reverse execution of programs — Research Paper | ScholarLens