{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:37:19Z","timestamp":1742981839125,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405773"},{"type":"electronic","value":"9783319405780"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40578-0_8","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T16:25:20Z","timestamp":1467217520000},"page":"121-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms"],"prefix":"10.1007","author":[{"given":"Nirvan","family":"Tyagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jayson","family":"Lynch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik D.","family":"Demaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"8_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":"HB Axelsen","year":"2011","unstructured":"Axelsen, H.B.: Clean translation of an imperative reversible programming language. In: Knoop, J. (ed.) CC 2011 and ETAPS 2011. LNCS, vol. 6601, pp. 144\u2013163. Springer, Heidelberg (2011)"},{"key":"8_CR2","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":"HB 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. 4649, pp. 56\u201369. Springer, Heidelberg (2007)"},{"key":"8_CR3","unstructured":"Bennett, C.H.: Logical reversibility of computation. Maxwell Demon. Entropy Inf. Comput. 197\u2013204 (1973). \n                      http:\/\/liinwww.ira.uka.de\/cgi-bin\/bibshow?e=Njtd0jcnkse\/fyqboefe%7d2789553&r=bibtex&mode=intra"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1137\/0218053","volume":"18","author":"H Charles","year":"1989","unstructured":"Charles, H.: Bennett. time\/space trade-offs for reversible computation. SIAM J. Comput. 18(4), 766\u2013776 (1989)","journal-title":"SIAM J. Comput."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/3-540-48224-5_82","volume-title":"Automata, Languages and Programming","author":"H Buhrman","year":"2001","unstructured":"Buhrman, H., Tromp, J., Vit\u00e1nyi, P.M.B.: Time and space bounds for reversible simulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, p. 1017. Springer, Heidelberg (2001)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Demaine, E.D., Lynch, J., Mirano, G.J., Tyagi, N.: Energy-efficient algorithms. In: Proceedings of 2016 ACM Conference on Innovations in Theoretical Computer Science, pp. 321\u2013332. ACM (2016)","DOI":"10.1145\/2840728.2840756"},{"key":"8_CR7","unstructured":"Frank, M.P., Knight, Jr. T.F.: Reversibility for efficient computing. Ph.D. thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (1999)"},{"issue":"3","key":"8_CR8","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 J. Res. Dev. 5(3), 183\u2013191 (1961)","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1006\/jcss.1999.1672","volume":"60","author":"K-J Lange","year":"2000","unstructured":"Lange, K.-J., McKenzie, P., Tapp, A.: Reversible space equals deterministic space. J. Comput. Syst. Sci. 60(2), 354\u2013367 (2000)","journal-title":"J. Comput. Syst. Sci."},{"issue":"18","key":"8_CR10","first-page":"2597","volume":"257","author":"Y Lecerf","year":"1963","unstructured":"Lecerf, Y.: Logique mathematique-machines de turing reversibles-recursive insolubilite en nsigman de lequation u= thetanu, ou theta est un isomorphisme de codes. Comptes rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des sciences 257(18), 2597 (1963)","journal-title":"Comptes rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des sciences"},{"key":"8_CR11","unstructured":"Li, M., Vitanyi, P.: Reversible simulation of irreversible computation. In: Proceedings of 11th Annual IEEE Conference on Computational Complexity, pp. 301\u2013306. IEEE (1996)"},{"key":"8_CR12","unstructured":"Lutz, C., Derby, H.: Janus: a time-reversible language. Caltech Class Project (1982)"},{"key":"8_CR13","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. 7162, pp. 289\u2013301. Springer, Heidelberg (2012)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Mogensen, T.\u00c6., Partial evaluation of the reversible language Janus. In: Proceedings of 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 23\u201332. ACM (2011)","DOI":"10.1145\/1929501.1929506"},{"key":"8_CR15","unstructured":"Perumalla, K., Fujimoto, R.: Source code transformations for efficient reversibility. Coll. Comput. Georgia Inst. Technol. (1999). \n                      https:\/\/smartech.gatech.edu\/handle\/1853\/6621"},{"issue":"4","key":"8_CR16","first-page":"447","volume":"1","author":"P Somavat","year":"2011","unstructured":"Somavat, P., Namboodiri, V., et al.: Energy consumption of personal computing including portable communication devices. J. Green Eng. 1(4), 447\u2013475 (2011)","journal-title":"J. Green Eng."},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.02.005","volume":"253","author":"B Stoddart","year":"2010","unstructured":"Stoddart, B., Lynas, R., Zeyda, F.: A virtual machine for supporting reversible probabilistic guarded command languages. Electron. Notes Theoret. Comput. Sci. 253(6), 33\u201356 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-29517-1_3","volume-title":"Reversible Computation","author":"MK Thomsen","year":"2012","unstructured":"Thomsen, M.K., Axelsen, H.B., Gl\u00fcck, R.: A reversible processor architecture and its reversible logic design. In: Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 30\u201342. Springer, Heidelberg (2012)"},{"key":"8_CR19","unstructured":"Vieri, C., Ammer, M.J., Frank, M., Margolus, N., Knight, T.: A fully reversible asymptotically zero energy microprocessor. In: Power Driven Microarchitecture Workshop, pp. 138\u2013142. Citeseer (1998)"},{"key":"8_CR20","unstructured":"Vieri, C.J.: Reversible computer engineering and architecture. Ph.D. thesis, Massachusetts Institute of Technology (1999)"},{"issue":"6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2010.02.007","volume":"253","author":"T Yokoyama","year":"2010","unstructured":"Yokoyama, T.: Reversible computation and reversible programming languages. Electron. Notes Theoret. Comput. Sci. 253(6), 71\u201381 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Proceedings of 5th Conference on Computing Frontiers, pp. 43\u201354. ACM (2008)","DOI":"10.1145\/1366230.1366239"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Gl\u00fcck, R.: A reversible programming language and its invertible self-interpreter. In: Proceedings of 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 144\u2013153. ACM (2007)","DOI":"10.1145\/1244381.1244404"},{"issue":"6","key":"8_CR24","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1147\/rd.456.0807","volume":"45","author":"P Zuliani","year":"2001","unstructured":"Zuliani, P.: Logical reversibility. IBM J. Res. Dev. 45(6), 807\u2013818 (2001)","journal-title":"IBM J. Res. Dev."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40578-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:44:49Z","timestamp":1558313089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40578-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405773","9783319405780"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40578-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}