Optimizing reversible simulation of injective functions

Journal of Multiple-Valued Logic and Soft Computing

Volumn 18, Issue 1, 2012, Pages 5-24

  Yokoyama, Tetsuo ^a   Axelsen, Holger Bock ^b   Glück, Robert ^b  

^a NANZAN UNIVERSITY   (Japan)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Bennett's method; Janus; Lossless data encoding; Reversibilization; Reversible computing; Reversible simulation

Indexed keywords

BENNETT'S METHOD; JANUS; LOSSLESS DATA; REVERSIBILIZATION; REVERSIBLE COMPUTING; REVERSIBLE SIMULATION;

ENCODING (SYMBOLS); INPUT OUTPUT PROGRAMS;

OPTIMIZATION;

EID: 84555218985     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (31)

1. Bennett, C. H. (1973). Logical reversibility of computation. IBM Journal of Research and Development, 17(6):525-532.
2. Landauer, R. (1961). Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5(3):183-191.
3. Bennett, C. H. (1989). Time/space trade-offs for reversible computation. SIAM J. Comput., 18(4):766-776.
4. Lange, K-J., McKenzie, P., Tapp, A. (2000). Reversible space equals deterministic space. J. Comput. System Sci., 60(2):354-367. (Pubitemid 30586913)
5. Levine, R. Y., Sherman, A. T. (1990). A note on Bennett's time-space tradeoff for reversible computation. SIAM J. Comput., 19(4):673-677.
6. Li, M., Tromp, J., Vitányi, P. (1998). Reversible simulation of irreversible computation. Physica D: Nonlinear Phenomena, 120(1-2):168-176. (Pubitemid 128676672)
7. Vitányi, P. (2005). Time, space, and energy in reversible computing. In Computing Frontiers. Proceedings, pages 435-444. ACM Press. (Pubitemid 43325384)
8. Salomon, D., Motta, G. (2010). Handbook of Data Compression. Springer-Verlag, fifth edition.
9. Malvar, H. S., Hallapuro, A., Karczewicz, M., Kerofsky, L. (2003). Low-complexity transform and quantization in H.264/AVC. IEEE Transactions on Circuits and Systems for Video Technology, 13(7):598-603.
10. Yokoyama, T., Glück, R. (2007). A reversible programming language and its invertible self-interpreter. In Partial Evaluation and Semantics-Based Program Manipulation. Proceedings, pages 144-153. ACM Press. (Pubitemid 47582024)
11. Abramov, S. M., Glück, R. (2002). Principles of inverse computation and the universal resolving algorithm. In Mogensen, T.Æ., Schmidt, D. A., Sudborough, I. H., eds, The Essence of Computation: Complexity, Analysis, Transformation, volume 2566 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag. (Pubitemid 36185939)
12. Mogensen, T.Æ. (2005). Semi-inversion of guarded equations. In Glück, R., Lowry, M., eds, Generative Programming and Component Engineering. Proceedings, volume 3676 of Lecture Notes in Computer Science, pages 189-204. Springer-Verlag.
13. Lutz, C. (1986). Janus: a time-reversible language. Letter to Landauer, R. http://www.tetsuo.jp/ref/janus.html.
14. Yokoyama, T, Axelsen, H. B., Glück, R. (2008). Principles of a reversible programming language. In Computing Frontiers. Proceedings, pages 43-54. ACM Press.
15. Axelsen, H. B., Glück, R., Yokoyama, T. (2007). Reversible machine code and its abstract processor architecture. In Diekert, V., Volkov, M. V., Voronkov, A., eds, Computer Science - Theory and Applications. Proceedings, volume 4649 of Lecture Notes in Computer Science, pages 56-69. Springer-Verlag. (Pubitemid 350271258)
16. Axelsen, H. B. (2010). A compiler for clean translation of reversible languages. In Ulidowski, I., Drechsler, R., Wille, R., eds, 2nd Workshop on Reversible Computation. Proceedings, pages 3-10. Universität Bremen.
17. Thomsen, M. K., Glück, R., Axelsen, H. B. (2010). Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and General, 43(38):382002.
18. Glück, R., Kawabe, M. (2003). A program inverter for a functional language with equality and constructors. In Ohori, A., ed, Programming Languages and Systems. Proceedings, volume 2895 of Lecture Notes in Computer Science, pages 246-264. Springer-Verlag.
19. Glück, R., Kawabe, M. (2005). A method for automatic program inversion based on LR (0) parsing. Fund. Inform., 66(4):367-395. (Pubitemid 41218081)
20. Martin, G. N. N. (1979). Range encoding: an algorithm for removing redundancy from a digitised message. In Video and Data Recording Conference. Proceedings, pages 24-27.
21. Witten, I. H., Moffat, A., Bell, T. C. (1999). Managing gigabytes: Compressing and indexing documents and images. Academic Press, second edition.
22. Fredkin, E. (1999). Feynman, Barton and the reversible Schrödinger difference equation. In Hey, A. J. G., ed, Feynman and Computation: Exploring the Limits of Computers, pages 337-348. Perseus Books.
23. Levesque, D., Verlet, L. (1993). Molecular dynamics and time reversibility. J. Statist. Phys. 72(3-4):519-537.
24. Oraintara, S., Chen, Y-J., Nguyen, T. Q. (2002). Integer fast Fourier transform. IEEE Trans. Signal Process., 50(3):607-618. (Pubitemid 34295102)
25. Morita, K. (2008). Reversible computing and cellular automata - A survey. Theoret. Comput. Sci., 395(1):101-131.
26. Thomsen, K. M., Axelsen, H. B. (2009). Parallelization of reversible ripple-carry adders. Parallel Processing Letters, 19(2):205-222.
27. De Vos, A., Van Rentergem, Y., De Keyser, K. (2006). The decomposition of an arbitrary reversible logic circuit. Journal of Physics A: Mathematical and General, 39:5015-5035. (Pubitemid 43643547)
28. Fredkin, E., Toffoli, T. (1982). Conservative logic. Internat. J. Theoret. Phys., 21:219-253.
29. Yokoyama, T., Axelsen, H. B., Glück, R. (2008). Reversible flowchart languages and the structured reversible program theorem. In Aceto, L. et al., eds, International Colloquium on Automata, Languages and Programming. Proceedings, volume 5126 of Lecture Notes in Computer Science, pages 258-270. Springer-Verlag.
30. Mu, S-C., Hu, Z., Takeichi, M. (2004). An injective language for reversible computation. In Kozen, D., ed, Mathematics of Program Construction. Proceedings, volume 3125 of Lecture Notes in Computer Science, pages 289-313. Springer-Verlag.
31. Zuliani, P. (2001). Logical reversibility. IBM Journal of Research and Development, 45(6):807-818. (Pubitemid 34012702)