{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:42:08Z","timestamp":1761709328894,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319599359"},{"type":"electronic","value":"9783319599366"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59936-6_2","type":"book-chapter","created":{"date-parts":[[2017,5,24]],"date-time":"2017-05-24T11:12:32Z","timestamp":1495624352000},"page":"19-34","source":"Crossref","is-referenced-by-count":23,"title":["Foundations of Generalized Reversible Computing"],"prefix":"10.1007","author":[{"given":"Michael P.","family":"Frank","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,25]]},"reference":[{"unstructured":"International Technology Roadmap for Semiconductors 2.0, 2015 th edn. Semiconductor Industry Association (2015)","key":"2_CR1"},{"issue":"3","key":"2_CR2","doi-asserted-by":"crossref","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."},{"key":"2_CR3","volume-title":"Nanosystems: Molecular Machinery, Manufacturing, and Computation","author":"KE Drexler","year":"1992","unstructured":"Drexler, K.E.: Nanosystems: Molecular Machinery, Manufacturing, and Computation. Wiley, New York (1992)"},{"unstructured":"Younis, S.G., Knight Jr., T.F.: Practical implementation of charge recovering asymptotically zero power CMOS. In: Proceedings of the 1993 Symposium on Research in Integrated Systems, pp. 234\u2013250. MIT Press (1993)","key":"2_CR4"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"12068","DOI":"10.1038\/ncomms12068","volume":"7","author":"M L\u00f3pez-Su\u00e1rez","year":"2016","unstructured":"L\u00f3pez-Su\u00e1rez, M., Neri, I., Gammaitoni, L.: Sub-\n            $$k_{B}T$$\n           micro-electromechanical irreversible logic gate. Nat. Commun. 7, 12068 (2016)","journal-title":"Nat. Commun."},{"doi-asserted-by":"crossref","unstructured":"Frank, M.P.: Approaching the physical limits of computing. In: 35th International Symposium on Multiple-Valued Logic, pp. 168\u2013185. IEEE Press, New York (2005)","key":"2_CR6","DOI":"10.1109\/ISMVL.2005.9"},{"doi-asserted-by":"crossref","unstructured":"DeBenedictis, E.P., Frank, M.P., Ganesh, N., Anderson, N.G.: A path toward ultra-low-energy computing. In: IEEE International Conference on Rebooting Computing. IEEE Press, New York (2016)","key":"2_CR7","DOI":"10.1109\/ICRC.2016.7738677"},{"issue":"6","key":"2_CR8","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"CH Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525\u2013532 (1973)","journal-title":"IBM J. Res. Dev."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","volume-title":"Automata, Languages and Programming","author":"T Toffoli","year":"1980","unstructured":"Toffoli, T.: Reversible computing. In: Bakker, J., Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 632\u2013644. Springer, Heidelberg (1980). doi:\n10.1007\/3-540-10003-2_104"},{"unstructured":"Anantharam, V., He, M., Natarajan, K., Xie, H., Frank, M.: Driving fully-adiabatic logic circuits using custom high-\n            $$Q$$\n           MEMS resonators. In: Arabnia, H.R., Guo, M., Yang, L.T. (eds.) ESI\/VLSI 2004, pp. 5\u201311. CSREA Press (2004)","key":"2_CR10"},{"unstructured":"Frank, M.P.: Towards a more general model of reversible logic hardware. In: Invited talk Presented at the Superconducting Electronics Approaching the Landauer Limit and Reversibility (SEALeR) Workshop. Sponsored by NSA\/ARO (2012)","key":"2_CR11"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-20860-2_13","volume-title":"Reversible Computation","author":"MK Thomsen","year":"2015","unstructured":"Thomsen, M.K., Kaarsgaard, R., Soeken, M.: Ricercar: a language for describing and\u00a0rewriting reversible circuits with ancillae and its permutation semantics. In: Krivine, J., Stefani, J.-B. (eds.) RC 2015. LNCS, vol. 9138, pp. 200\u2013215. Springer, Cham (2015). doi:\n10.1007\/978-3-319-20860-2_13"},{"unstructured":"Lutz, C.: Janus: a time-reversible language. Letter from Chris Lutz to Rolf Landauer (1986). \nhttp:\/\/tetsuo.jp\/ref\/janus.pdf","key":"2_CR13"},{"issue":"6","key":"2_CR14","doi-asserted-by":"crossref","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. Elec. Notes Theor. Comput. Sci. 253(6), 71\u201381 (2010)","journal-title":"Elec. Notes Theor. Comput. Sci."},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BFb0017210","volume-title":"Memory Management","author":"HG Baker","year":"1992","unstructured":"Baker, H.G.: NREVERSAL of fortune \u2014 the thermodynamics of garbage collection. In: Bekkers, Y., Cohen, J. (eds.) IWMM 1992. LNCS, vol. 637, pp. 507\u2013524. Springer, Heidelberg (1992). doi:\n10.1007\/BFb0017210"},{"unstructured":"Frank, M.: Reversibility for Efficient Computing. Doctoral dissertation, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (1999)","key":"2_CR16"},{"key":"2_CR17","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: Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 14\u201329. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-29517-1_2"},{"key":"2_CR18","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":"HB 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. 7948, pp. 96\u2013109. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38986-3_9"},{"unstructured":"Vieri, C.J.: Reversible Computer Engineering and Architecture. Doctoral dissertation, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (1999)","key":"2_CR19"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59936-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,18]],"date-time":"2017-09-18T16:18:55Z","timestamp":1505751535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59936-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319599359","9783319599366"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59936-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}