Reverse execution of Java bytecode

Computer Journal

Volumn 45, Issue 6, 2002, Pages 608-619

  Cook, Jonathan J ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); GRAPHICAL USER INTERFACES; MULTITASKING; PROGRAM COMPILERS; PROGRAM DEBUGGING; SEMANTICS;

JAVA VIRTUAL MACHINES (JVM);

JAVA PROGRAMMING LANGUAGE;

EID: 0036450418     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/45.6.608     Document Type: Article

References (17)

1. Sun's JDB homepage, http://java.sun.com/products/jdk/1.1/docs/tooldocs/solaris/jdb.html, 6 May 2002.
2. Borland's JBuilder homepage. http://www.inprise.com/jbuilder, 6 May 2002.
3. Sun's Forte for Java homepage. http://www.sun.com/forte/, 6 May 2002.
4. NetBeans homepage, http://www.netbeans.org, 6 May 2002.
5. Agrawal, H., DeMillo, R.A. and Spafford, E.H. (1991) An execution-backtracking approach to debugging. IEEE Software, 8, 21-26.
6. Tolmach, A. and Appel, A.W. (1995) A debugger for Standard ML. J. Funct. Program., 5, 155-200.
7. Biswas, B. and Mall, R. (1999) Reverse execution of programs. ACM SIGPLAN Notices, 34, 61-69.
8. Lindholm, T. and Yellin, F. (1999) The Java Virtual Machine Specification (2nd edn). Addison-Wesley Longman.
9. Stata, R. and Abadi, M. (1998) A type system for Java bytecode subroutines. In Proc. POPL 98: 25th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, San Diego, CA, 17-18 January, pp. 149-160. ACM, New York.
10. Freund, S.N. and Mitchell, J.C. (1999) The type system for object initialization in the Java bytecode language. ACM Trans. Program. Lang. Syst., 21, 1196-1250.
11. Kaffe homepage, http://www.kaffe.org/, 6 May 2002.
12. The Java Platform Debugger Architecture homepage. http://java.sun.com/products/jpda, 6 May 2002.
13. Kopi open-source Java compiler homepage. http://www.dms.at/kopi/, 6 May 2002.
14. Kazi, I.H., Chen, H.H., Stanley, B. and Lilja, D.J. (2000) Techniques for obtaining high performance in Java programs. ACM Comput. Surveys, 32, 213-240.
15. Johnson, J.D. and Kenney, G.W. (1983) Implementation issues for a source level symbolic debugger (extended abstract). ACM SIGPLAN Notices, 18, 149-151.
16. Choi, J. and Srinivasan, H. (1998) Deterministic replay of Java multithreaded applications. In Proc. SIGMETRICS Symp. on Parallel and Distributed Tools, Welches, OR, 3-4 August 1998, pp. 48-59. ACM, New York.
17. InCert TraceBack homepage. http://www.debugjava.com/, 6 May 2002.