Holger Bock Axelsen
Titre
Citée par
Citée par
Année
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th conference on Computing frontiers, 43-54, 2008
1332008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
972010
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
652007
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
642011
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
572011
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
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
322011
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
312011
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
262011
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
222016
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
International Conference on Reversible Computation, 96-109, 2013
222013
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
212015
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
202009
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
172017
On reversible Turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53 (5), 509-543, 2016
162016
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
162012
Elements of a reversible object-oriented language
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
152016
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
152015
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
112012
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
112012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20