Reference counting for reversible languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8507 LNCS, Issue , 2014, Pages 82-94

  Mogensen, Torben Ægidius ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

PATTERN MATCHING;

DE-ALLOCATION; FUNCTIONAL LANGUAGES; IMPERATIVE LANGUAGES; PROGRAMMING LANGUAGES AND OPERATING SYSTEMS; REFERENCE COUNTING;

MANAGERS;

EID: 84905275598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-08494-7_7     Document Type: Conference Paper

References (9)

1. 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)
2. Axelsen, H.B., Glück, R.: Reversible representation and manipulation of constructor terms in the heap. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 96-109. Springer, Heidelberg (2013)
3. 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)
4. Goto, E.: Monocopy and associative algorithms in an extended lisp. Technical Report TR 74-03, University of Tokyo (1974)
5. Lutz, C.: Janus: a time-reversible language. A letter to Landauer (1986), http://www.cise.uf1.edu/~mpf/rc/janus.html
6. Mogensen, T.Æ.: Report on an implementation of a semi-inverter. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 322-334. Springer, Heidelberg (2007)
7. Mogensen, T.Æ.: Partial evaluation of janus part 2: Assertions and procedures. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 289-301. Springer, Heidelberg (2012)
8. Yokoyama, T., Axelsen, H.B., Glück, R.: Principles of a reversible programming language. In: Proceedings of the 5th Conference on Computing Frontiers, CF 2008, pp. 43-54. ACM, New York (2008)
9. Yokoyama, T., Axelsen, H.B., Glück, R.: Towards a reversible functional language. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 14-29. Springer, Heidelberg (2012)