Reverse execution of programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 4, 1999, Pages 61-69

  Biswas, Bitan ^a   Mall, R ^b  

^a Silicon Automation Systems   (India)

^b CURTIN UNIVERSITY   (Australia)

Author keywords

Inverse statements; Program debugging; Reverse execution

Indexed keywords

EID: 0011962015     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/312009.312079     Document Type: Article

References (8)

1. R. Mall, Fundamental Concepts in Software Engineering, Prentice Hall of India, New Delhi, 1998.
2. B. Kerninghan and D. Ritchie, The C Programming Language, Prentice Hall of India, New Delhi, 1988.
3. John D. Johnson and Gary W. Kenney, Implementation Issues for a Source Level Symbolic Debugger (Extended Abstract), ACM SIGPLAN Notices, 18(8), pp. 149-151, Aug, 1983.
4. R. Cezzar, The Design of a Processor Architecture Capable of Forward and Reverse Execution, Proceedings of IEEE SOUTHEASTCON '91, pp. 885-890, Vol. 2, Apr, 1991.
5. B. Biswas, Reverse Execution of Programs, Master's Thesis, CSE Department, IIT, Kharagpur, India, December, 1998.
6. C. H. Bennett and R. Landauer, The Fundamental Physical Limits of Computation, Sci. American, Vol. 253, July 1985.
7. J. S. Briggs, Generating Reversible Programs, Software - Practice and Experience, Vol. 17(7), 439-453, July 1987.
8. G. B. Leeman Jr, A formal Approach to undo Operations in Programming Languages, ACM Transactions on Programming Languages and Systems, 8, (1), pp. 50-87, 1986.