Home | Contact
Program Inversion and Reversible Computation


Here you can find some references related to the project.



[1]De Vos, A. Reversible Computer Hardware. In Electronic Notes in Theoretical Computer Science, 253 (6): 17-22, 2010.
[2]Yokoyama, T. Reversible Computation and Reversible Programming Languages. In Electronic Notes in Theoretical Computer Science, 253 (6): 71-81, 2010.


[3]Axelsen, H. B.; Glück, R.; De Vos, A. and Thomsen, M. K. MicroPower: Towards Low-Power Microprocessor with Reversible Computing. In ERCIM News, 79: 20-21, 2009.
[4]Thomsen, M. K. and Axelsen, H. B. Parallelization of Reversible Ripple-carry Adders. In Parallel Processing Letters, 19 (1): 205-222, 2009.


[5]Thomsen, M. K. and Glück, R. Optimized reversible binary-coded decimal adders. In Journal of Systems Architecture, 54 (7): 697-706, 2008.

In Proceedings


[6]Thomsen, M. K.; Glück, R. and Axelsen, H. B. Towards Designing a Reversible Processor Architecture. In Preliminary Proceedings of the Workshop on Reversible Computing, pages 46-50, 2009.


[7]Thomsen, M. K. and Axelsen, H. B. Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. In Proceedings of the 7th International Conference on Unconventional Computing, pages 229-242, Springer-Verlag, Vienna, LNCS 5204, 2008.
[8]Yokoyama, T.; Axelsen, H. B. and Glück, R. Principles of a Reversible Programming Language. In Conference on Computing Frontiers. Proceedings, pages 43-54, ACM Press, 2008.
[9]Yokoyama, T.; Axelsen, H. B. and Glück, R. Reversible Flowchart Languages and the Structured Reversible Program Theorem. In Automata, Languages and Programming. Proceedings, pages 258-270, Springer-Verlag, LNCS 5126, 2008.


[10]Axelsen, H. B.; Glück, R. and Yokoyama, T. Reversible Machine Code and Its Abstract Processor Architecture. In Computer Science -- Theory and Applications. Proceedings, pages 56-69, Springer-Verlag, LNCS 4649, 2007.
[11]Yokoyama, T. and Glück, R. A reversible programming language and its invertible self-interpreter. In Partial Evaluation and Program Manipulation. Proceedings, pages 144-153, ACM Press, 2007.