BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Iceland
1 × Japan
2 × Germany
2 × Spain
Collaborated with:
R.Glück T.Yokoyama
Talks about:
revers (7) program (3) languag (3) logarithm (1) flowchart (1) character (1) translat (1) structur (1) automata (1) univers (1)

Person: Holger Bock Axelsen

DBLP DBLP: Axelsen:Holger_Bock

Contributed to:

LATA 20122012
CC 20112011
FOSSACS 20112011
LATA 20112011
BX 20082008
ICALP (2) 20082008

Wrote 6 papers:

LATA-2012-Axelsen #automaton #finite #multi
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (HBA), pp. 95–105.
CC-2011-Axelsen #imperative #programming language
Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.
FoSSaCS-2011-AxelsenG #question #source code #what
What Do Reversible Programs Compute? (HBA, RG), pp. 42–56.
LATA-2011-AxelsenG #performance #turing machine
A Simple and Efficient Universal Reversible Turing Machine (HBA, RG), pp. 117–128.
Languages Short Talk 2 (HBA), p. 2.
ICALP-B-2008-YokoyamaAG #theorem
Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.