Reverse execution of programs
Bitan Biswas, Raghvendra Mall
Abstract
Open-access reader
Bitan Biswas, Raghvendra Mall
Abstract
Open-access reader
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.
OpenAlex reports 35 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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)