Follow
Holger Bock Axelsen
Title
Cited by
Cited by
Year
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
1582008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
1132010
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
742011
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
732011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
702007
Reversible flowchart languages and the structured reversible program theorem
T Yokoyama, HB Axelsen, R Glück
International Colloquium on Automata, Languages, and Programming, 258-270, 2008
482008
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
402011
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
392011
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
342016
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
292011
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
272015
Towards a domain-specific language for reversible assembly sequences
UP Schultz, JS Laursen, LP Ellekilde, HB Axelsen
International Conference on Reversible Computation, 111-126, 2015
252015
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
242017
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
International Conference on Reversible Computation, 96-109, 2013
222013
On reversible turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53 (5), 509-543, 2016
202016
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
202009
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
192012
Elements of a reversible object-oriented language
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
172016
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Asian Symposium on Programming Languages and Systems, 407-426, 2015
132015
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
HB Axelsen, MK Thomsen
International Workshop on Reversible Computation, 171-182, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20