Home | Contact

Program Inversion and Reversible Computation

Bibliography

Here you can find some references related to the project.

Articles

2010

[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.

2009

[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.

2008

[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

2009

[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.

2008

[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.

2007

[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.