-
1
-
-
79953220746
-
Clean translation of an imperative reversible programming language
-
In: Knoop, J. (ed.) Springer, Heidelberg
-
Axelsen, H.B.: Clean translation of an imperative reversible programming language. In: Knoop, J. (ed.) CC 2011. LNCS, vol. 6601, pp. 144-163. Springer, Heidelberg (2011)
-
(2011)
CC 2011. LNCS
, vol.6601
, pp. 144-163
-
-
Axelsen, H.B.1
-
2
-
-
79953227736
-
What do reversible programs compute?
-
In: Hofmann, M. (ed.) Springer, Heidelberg
-
Axelsen, H.B., Gluck, R.: What do reversible programs compute? In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol. 6604, pp. 42-56. Springer, Heidelberg (2011)
-
(2011)
FOSSACS 2011. LNCS
, vol.6604
, pp. 42-56
-
-
Axelsen, H.B.1
Gluck, R.2
-
3
-
-
37249051752
-
Reversible machine code and its abstract processor architecture
-
In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) Springer, Heidelberg
-
Axelsen, H.B., Gluck, R., Yokoyama, T.: Reversible machine code and its abstract processor architecture. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol. 4649, pp. 56-69. Springer, Heidelberg (2007)
-
(2007)
CSR 2007. LNCS
, vol.4649
, pp. 56-69
-
-
Axelsen, H.B.1
Gluck, R.2
Yokoyama, T.3
-
4
-
-
84976797469
-
Lively linear Lisp-'Look Ma, no garbage!'
-
Baker, H.G.: Lively linear Lisp-'Look Ma, no garbage!'. ACM Sigplan Notices 27(9), 89-98 (1992)
-
(1992)
ACM Sigplan Notices
, vol.27
, Issue.9
, pp. 89-98
-
-
Baker, H.G.1
-
5
-
-
84990836008
-
NREVERSAL of fortune-The thermodynamics of garbage collection
-
In: Bekkers, Y., Cohen, J. (eds.) Springer, Heidelberg
-
Baker, H.G.: NREVERSAL of fortune-The thermodynamics of garbage collection. In: Bekkers, Y., Cohen, J. (eds.) IWMM-GIAE 1992. LNCS, vol. 637, pp. 507-524. Springer, Heidelberg (1992)
-
(1992)
IWMM-GIAE 1992. LNCS
, vol.637
, pp. 507-524
-
-
Baker, H.G.1
-
7
-
-
0009184945
-
-
Ph.D. thesis, EECS Dept., Massachusetts Institute of Technology
-
Frank, M.P.: Reversibility for Efficient Computing. Ph.D. thesis, EECS Dept., Massachusetts Institute of Technology (1999)
-
(1999)
Reversibility for Efficient Computing
-
-
Frank, M.P.1
-
8
-
-
0345445933
-
A program inverter for a functional language with equality and constructors
-
In: Ohori, A. (ed.) Springer, Heidelberg
-
Gluck, R., Kawabe, M.: A program inverter for a functional language with equality and constructors. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol. 2895, pp. 246-264. Springer, Heidelberg (2003)
-
(2003)
APLAS 2003. LNCS
, vol.2895
, pp. 246-264
-
-
Gluck, R.1
Kawabe, M.2
-
9
-
-
84857859507
-
Information effects
-
ACM
-
James, R.P., Sabry, A.: Information effects. In: POPL 2012, pp. 73-84. ACM (2012
-
(2012)
POPL 2012
, pp. 73-84
-
-
James, R.P.1
Sabry, A.2
-
10
-
-
84872876115
-
Isomorphic interpreters from logically reversible abstract machines
-
In: Gluck, R., Yokoyama, T. (eds.) Springer, Heidelberg
-
James, R.P., Sabry, A.: Isomorphic interpreters from logically reversible abstract machines. In: Gluck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 57-71. Springer, Heidelberg (2013
-
(2013)
RC 2012. LNCS
, vol.7581
, pp. 57-71
-
-
James, R.P.1
Sabry, A.2
-
12
-
-
84936896337
-
Recursive functions of symbolic expressions
-
McCarthy, J.: Recursive functions of symbolic expressions. Communications of the ACM 3(4), 184-195 (1960
-
(1960)
Communications of the ACM
, vol.3
, Issue.4
, pp. 184-195
-
-
McCarthy, J.1
-
13
-
-
84860818514
-
-
RC 2011. LNCS In: De Vos, A.,Wille, R. (eds.) Springer, Heidelberg
-
Thomsen, M.K., Axelsen, H.B., Gluck, R.: A reversible processor architecture and its reversible logic design. In: De Vos, A.,Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 30-42. Springer, Heidelberg (2012
-
(2012)
A Reversible Processor Architecture and Its Reversible Logic Design
, vol.7165
, pp. 30-42
-
-
Thomsen, M.K.1
Axelsen, H.B.2
Gluck, R.3
-
14
-
-
49049096165
-
Principles of a reversible programming language
-
ACM
-
Yokoyama, T., Axelsen, H.B., Gluck, R.: Principles of a reversible programming language. In: Proceedings of Computing Frontiers, pp. 43-54. ACM (2008
-
(2008)
Proceedings of Computing Frontiers
, pp. 43-54
-
-
Yokoyama, T.1
Axelsen, H.B.2
Gluck, R.3
-
15
-
-
49049101313
-
Reversible flowchart languages and the structured reversible program theorem
-
In: Aceto, L., Damg?ard, I., Goldberg, L.A., Halldorsson, M.M., Ingolfsdottir, A., Walukiewicz, I. (eds.) Springer, Heidelberg
-
Yokoyama, T., Axelsen, H.B., Gluck, R.: Reversible flowchart languages and the structured reversible program theorem. In: Aceto, L., Damg?ard, I., Goldberg, L.A., Halldorsson, M.M., Ingolfsdottir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 258-270. Springer, Heidelberg (2008
-
(2008)
ICALP 2008, Part II. LNCS
, vol.5126
, pp. 258-270
-
-
Yokoyama, T.1
Axelsen, H.B.2
Gluck, R.3
-
16
-
-
84860822886
-
Towards a reversible functional language
-
In: De Vos, A., Wille, R. (eds.) Springer, Heidelberg
-
Yokoyama, T., Axelsen, H.B., Gluck, R.: Towards a reversible functional language. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 14-29. Springer, Heidelberg (2012)
-
(2012)
RC 2011. LNCS
, vol.7165
, pp. 14-29
-
-
Yokoyama, T.1
Axelsen, H.B.2
Gluck, R.3
|