메뉴 건너뛰기




Volumn 7948 LNCS, Issue , 2013, Pages 96-109

Reversible representation and manipulation of constructor terms in the heap

Author keywords

Data structures; memory management; reversible programming

Indexed keywords

BINARY TREES; DATA STRUCTURES;

EID: 84880738561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38986-3_9     Document Type: Conference Paper
Times cited : (16)

References (16)
  • 1
    • 79953220746 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 15
    • 49049101313 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.