Jooyong Lee. Dynamic Reverse Code Generation for Backward Execution. Electronic Notes in Theoretical Computer Science, 174(4):37-54, 2007. [doi]
@article{Lee07:12, title = {Dynamic Reverse Code Generation for Backward Execution}, author = {Jooyong Lee}, year = {2007}, doi = {10.1016/j.entcs.2006.12.028}, url = {http://dx.doi.org/10.1016/j.entcs.2006.12.028}, tags = {code generation}, researchr = {https://researchr.org/publication/Lee07%3A12}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {4}, pages = {37-54}, }