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
1652008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
1192010
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
892011
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
772011
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
772007
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
502008
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
462012
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
452016
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
442011
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
342011
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
292017
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
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
252015
On reversible turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53, 509-543, 2016
222016
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
222013
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
212009
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
202012
Elements of a Reversible Object-Oriented Language: Work-in-Progress Report
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
192016
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
142015
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
HB Axelsen, MK Thomsen
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20