Holger Bock Axelsen
Cited by
Cited by
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
Computer Science–Theory and Applications: Second International Symposium on …, 2007
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical computer science 611, 87-115, 2016
Reversible flowchart languages and the structured reversible program theorem
T Yokoyama, HB Axelsen, R Glück
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium …, 2012
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
Interpretation and programming of the reversible functional language RFUN
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
Join inverse categories and reversible recursion
R Kaarsgaard, HB Axelsen, R Glück
Journal of Logical and Algebraic Methods in Programming 87, 33-50, 2017
Towards a domain-specific language for reversible assembly sequences
UP Schultz, JS Laursen, LP Ellekilde, HB Axelsen
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
On reversible turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53, 509-543, 2016
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
Elements of a Reversible Object-Oriented Language: Work-in-Progress Report
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
Optimizing Reversible Simulation of Injective Functions
T Yokoyma, HB Axelsen, R Glück
Journal of Multiple-Valued Logic and Soft Computing 18 (1), 5-25, 2012
The system can't perform the operation now. Try again later.
Articles 1–20