{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:38Z","timestamp":1759639058102},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198601"},{"type":"electronic","value":"9783642198618"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19861-8_9","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T13:39:26Z","timestamp":1300109966000},"page":"144-163","source":"Crossref","is-referenced-by-count":25,"title":["Clean Translation of an Imperative Reversible Programming Language"],"prefix":"10.1007","author":[{"given":"Holger Bock","family":"Axelsen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Modern Compiler Implementation in ML","author":"A.W. Appel","year":"1998","unstructured":"Appel, A.W.: Modern Compiler Implementation in ML. Camb. Uni. Press, New York (1998)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-19805-2_4","volume-title":"Proceedings of FoSSaCS 2011","author":"H.B. Axelsen","year":"2011","unstructured":"Axelsen, H.B., Gl\u00fcck, R.: What do reversible programs compute? In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 42\u201356. Springer, Heidelberg (2011)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-74510-5_9","volume-title":"Computer Science \u2013 Theory and Applications","author":"H.B. Axelsen","year":"2007","unstructured":"Axelsen, H.B., Gl\u00fcck, R., Yokoyama, T.: Reversible machine code and its abstract processor architecture. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol.\u00a04649, pp. 56\u201369. Springer, Heidelberg (2007)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM Journal of Research and Development\u00a017, 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9783527633999","volume-title":"Reversible Computing: Fundamentals, Quantum Computing and Applications","author":"A. Vos De","year":"2010","unstructured":"De Vos, A.: Reversible Computing: Fundamentals, Quantum Computing and Applications. WILEY-VCH, Weinheim (2010)"},{"key":"9_CR6","unstructured":"Frank, M.P.: Reversibility for Efficient Computing. PhD thesis, MIT (1999)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development\u00a05(3), 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"key":"9_CR8","first-page":"2597","volume":"257","author":"Y. Lecerf","year":"1963","unstructured":"Lecerf, Y.: Machines de Turing r\u00e9versibles. R\u00e9cursive insolubilit\u00e9 en n\n                  \u03b5\n                  N de l\u2019\u00e9quation u\u2009=\u2009\u03b8\n                  \n                    n\n                  \n                  u, o\u00fa \u03b8 est un \u201cisomorphisme de codes\u201d. Comptes Rendus Hebdomadaires\u00a0257, 2597\u20132600 (1963)","journal-title":"Comptes Rendus Hebdomadaires"},{"key":"9_CR9","unstructured":"Lutz, C.: Janus: a time-reversible language. Letter written to R. Landauer (1986), \n                    \n                      http:\/\/tetsuo.jp\/ref\/janus.html"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30477-7_2","volume-title":"Programming Languages and Systems","author":"S.-C. Mu","year":"2004","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 2\u201320. Springer, Heidelberg (2004)"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.jlap.2009.02.006","volume":"79","author":"M. Schellekens","year":"2010","unstructured":"Schellekens, M.: MOQA; unlocking the potential of compositional static average-case analysis. Journal of Logic and Algebraic Programming\u00a079(1), 61\u201383 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1142\/S0129626409000171","volume":"19","author":"M.K. Thomsen","year":"2009","unstructured":"Thomsen, M.K., Axelsen, H.B.: Parallelization of reversible ripple-carry adders. Parallel Processing Letters\u00a019(2), 205\u2013222 (2009)","journal-title":"Parallel Processing Letters"},{"key":"9_CR13","unstructured":"Thomsen, M.K., Gl\u00fcck, R., Axelsen, H.B.: Towards designing a reversible processor architecture (work-in-progress). In: Reversible Computation. Preliminary Proceedings, pp. 46\u201350 (2009)"},{"issue":"38","key":"9_CR14","first-page":"2002","volume":"42","author":"M.K. Thomsen","year":"2010","unstructured":"Thomsen, M.K., Gl\u00fcck, R., Axelsen, H.B.: Reversible arithmetic logic unit for quantum arithmetic. J. of Phys. A: Math. and Theor.\u00a042(38), 2002 (2010)","journal-title":"J. of Phys. A: Math. and Theor."},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2710-6","volume-title":"What computing is all about","author":"J.L.A. Snepscheut van de","year":"1993","unstructured":"van de Snepscheut, J.L.A.: What computing is all about. Springer, Heidelberg (1993)"},{"key":"9_CR16","unstructured":"Vieri, C.J.: Reversible Computer Engineering and Architecture. PhD thesis, MIT (1999)"},{"key":"9_CR17","first-page":"43","volume-title":"Proceedings of Computing Frontiers","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Proceedings of Computing Frontiers, pp. 43\u201354. ACM Press, New York (2008)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-70583-3_22","volume-title":"Automata, Languages and Programming","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Reversible flowchart languages and the structured reversible program theorem. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 258\u2013270. Springer, Heidelberg (2008)"},{"key":"9_CR19","first-page":"144","volume-title":"Proceedings of Partial Evaluation and Program Manipulation","author":"T. Yokoyama","year":"2007","unstructured":"Yokoyama, T., Gl\u00fcck, R.: A reversible programming language and its invertible self-interpreter. In: Proceedings of Partial Evaluation and Program Manipulation, pp. 144\u2013153. ACM Press, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19861-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T10:51:19Z","timestamp":1547895079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19861-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198601","9783642198618"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19861-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}