Reverse Execution of Java Bytecode

DOI10.1093/COMJNL/45.6.608zbMATH Open1036.68016DBLPjournals/cj/Cook02OpenAlexW2159672367WikidataQ57532213 ScholiaQ57532213MaRDI QIDQ4415908FDOQ4415908

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

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

zbMATH Keywords

operational semanticsJava virtual machinestack-based code

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (5)

• Reversibility in the higher-order \(\pi\)-calculus
• Controlled Reversibility and Compensations
• Shimba-an environment for reverse engineering Java software systems
• Title not available (Why is that?)
• 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)