CaReDeb
Home
Debugger
Language
Contributors
Download
Debugger
Version 0.5
Source Code
Google Project
Papers
Causal-consistent Reversible Debugging
[slides]
A Reversible Abstract Machine and its Space Overhead