Reverse Execution of Java Bytecode

DOI10.1093/COMJNL/45.6.608MaRDI QIDQ4415908zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jonathan J. Cook

Publication date 7 August 2003

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/45.6.608

zbMATH Keywords

operational semanticsJava virtual machinestack-based code

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A case for dynamic reverse-code generation to debug non-deterministic programs
• scientific article; zbMATH DE number 2087564
• scientific article; zbMATH DE number 2087621
• From reversible semantics to reversible debugging
• Shimba-an environment for reverse engineering Java software systems

Cited in

(5)

• Reversibility in the higher-order \(\pi\)-calculus
• Controlled Reversibility and Compensations
• Shimba-an environment for reverse engineering Java software systems
• scientific article; zbMATH DE number 2087564 (Why is no real title available?)
• A case for dynamic reverse-code generation to debug non-deterministic programs

This page was built for publication: Reverse Execution of Java Bytecode

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415908)