{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:56:29Z","timestamp":1725796589301},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084930"},{"type":"electronic","value":"9783319084947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08494-7_7","type":"book-chapter","created":{"date-parts":[[2014,7,5]],"date-time":"2014-07-05T14:50:00Z","timestamp":1404571800000},"page":"82-94","source":"Crossref","is-referenced-by-count":5,"title":["Reference Counting for Reversible Languages"],"prefix":"10.1007","author":[{"given":"Torben \u00c6gidius","family":"Mogensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-19861-8_9","volume-title":"Compiler Construction","author":"H.B. Axelsen","year":"2011","unstructured":"Axelsen, H.B.: Clean translation of an imperative reversible programming language. In: Knoop, J. (ed.) CC 2011. LNCS, vol.\u00a06601, pp. 144\u2013163. Springer, Heidelberg (2011)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-38986-3_9","volume-title":"Reversible Computation","author":"H.B. Axelsen","year":"2013","unstructured":"Axelsen, H.B., Gl\u00fcck, R.: Reversible representation and manipulation of constructor terms in the heap. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol.\u00a07948, pp. 96\u2013109. Springer, Heidelberg (2013)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BFb0017210","volume-title":"Memory Management","author":"H.G. Baker","year":"1992","unstructured":"Baker, H.G.: Nreversal of fortune\u2013the thermodynamics of garbage collection. In: Bekkers, Y., Cohen, J. (eds.) IWMM-GIAE 1992. LNCS, vol.\u00a0637, pp. 507\u2013524. Springer, Heidelberg (1992)"},{"unstructured":"Goto, E.: Monocopy and associative algorithms in an extended lisp. Technical Report TR 74-03, University of Tokyo (1974)","key":"7_CR4"},{"unstructured":"Lutz, C.: Janus: a time-reversible language. A letter to Landauer (1986), \n                    \n                      http:\/\/www.cise.uf1.edu\/~mpf\/rc\/janus.html","key":"7_CR5"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-70881-0_28","volume-title":"Perspectives of Systems Informatics","author":"T.\u00c6. Mogensen","year":"2007","unstructured":"Mogensen, T.\u00c6.: Report on an implementation of a semi-inverter. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 322\u2013334. Springer, Heidelberg (2007)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-29709-0_25","volume-title":"Perspectives of Systems Informatics","author":"T.\u00c6. Mogensen","year":"2012","unstructured":"Mogensen, T.\u00c6.: Partial evaluation of janus part 2: Assertions and procedures. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol.\u00a07162, pp. 289\u2013301. Springer, Heidelberg (2012)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1366230.1366239","volume-title":"Proceedings of the 5th Conference on Computing Frontiers, CF 2008","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Proceedings of the 5th Conference on Computing Frontiers, CF 2008, pp. 43\u201354. ACM, New York (2008)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-29517-1_2","volume-title":"Reversible Computation","author":"T. Yokoyama","year":"2012","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Towards a reversible functional language. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol.\u00a07165, pp. 14\u201329. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08494-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T07:08:57Z","timestamp":1558940937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08494-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084930","9783319084947"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08494-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}