{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T04:07:32Z","timestamp":1745208452770,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344060"},{"type":"electronic","value":"9783642344077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_10","type":"book-chapter","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T00:58:14Z","timestamp":1352163494000},"page":"148-163","source":"Crossref","is-referenced-by-count":4,"title":["Describing and Optimising Reversible Logic Using a Functional Language"],"prefix":"10.1007","author":[{"given":"Michael Kirkedal","family":"Thomsen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pp. 249\u2013258. IEEE (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"10_CR2","unstructured":"Athas, W.C., Svensson, L.: Reversible logic issues in adiabatic CMOS. In: Workshop on Physics and Computation (1994)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-19805-2_4","volume-title":"Foundations of Software Science and Computational Structures","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":"10_CR4","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":"10_CR5","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21, 613\u2013641 (1978)","journal-title":"Communications of the ACM"},{"issue":"5","key":"10_CR6","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Physical Review A\u00a052(5), 3457\u20133467 (1995)","journal-title":"Physical Review A"},{"key":"10_CR7","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"},{"issue":"7388","key":"10_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1038\/nature10872","volume":"483","author":"A. Berut","year":"2012","unstructured":"Berut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of landauer\/\u2019s principle linking information and thermodynamics. Nature\u00a0483(7388), 187\u2013189 (2012)","journal-title":"Nature"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/TC.1982.1675982","volume":"C-31","author":"R. Brent","year":"1982","unstructured":"Brent, R., Kung, H.: A Regular Layout for Parallel Adders. IEEE Transactions on Computers\u00a0C-31(3), 260\u2013264 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-29517-1_10","volume-title":"Reversible Computation","author":"S. Burignat","year":"2012","unstructured":"Burignat, S., Thomsen, M.K., Klimczak, M., Olczak, M., De Vos, A.: Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol.\u00a07165, pp. 112\u2013122. Springer, Heidelberg (2012)"},{"key":"10_CR11","unstructured":"Cuccaro, S.A., Draper, T.G., Kutin, S.A., Moulton, D.P.: A new quantum ripple-carry addition circuit. arXiv:quant-ph\/0410184v1 (2005)"},{"issue":"7","key":"10_CR12","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1364\/OL.12.000542","volume":"12","author":"R. Cuykendall","year":"1987","unstructured":"Cuykendall, R., Andersen, D.R.: Reversible optical computing circuits. Optics Letters\u00a012(7), 542\u2013544 (1987)","journal-title":"Optics Letters"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02476026","volume":"4","author":"I. Daubechies","year":"1998","unstructured":"Daubechies, I., Sweldens, W.: Factoring wavelet transforms into lifting steps. Journal of Fourier Analysis and Applications\u00a04(3), 247\u2013269 (1998)","journal-title":"Journal of Fourier Analysis and Applications"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0079-6727(99)00002-6","volume":"23","author":"A. Vos De","year":"1999","unstructured":"De Vos, A.: Reversible computing. Progress in Quantum Electronics\u00a023(1), 1\u201349 (1999)","journal-title":"Progress in Quantum Electronics"},{"issue":"1","key":"10_CR15","first-page":"25","volume":"18","author":"A. Vos De","year":"2012","unstructured":"De Vos, A., Burignat, S., Thomsen, M.K.: Reversible implementation of a descrete integer linear transform. Journal of Multiple-Valued Logic and Soft Computing, Special Issue: Reversible Computation\u00a018(1), 25\u201335 (2012)","journal-title":"Journal of Multiple-Valued Logic and Soft Computing, Special Issue: Reversible Computation"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"De Vos, A., Van Rentergem, Y.: Reversible computing: from mathematical group theory to electronical circuit experiment. In: Computing Frontiers Proceeding, pp. 35\u201344. ACM Press (2005)","DOI":"10.1145\/1062261.1062270"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1364\/ON.11.2.000011","volume":"11","author":"R.P. Feynman","year":"1985","unstructured":"Feynman, R.P.: Quantum mechanical computers. Optical News\u00a011, 11\u201320 (1985)","journal-title":"Optical News"},{"issue":"3-4","key":"10_CR18","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E. Fredkin","year":"1982","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. International Journal of Theoretical Physics\u00a021(3-4), 219\u2013253 (1982)","journal-title":"International Journal of Theoretical Physics"},{"issue":"3-4","key":"10_CR19","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1147\/sj.353.0577","volume":"35","author":"N. Gershenfeld","year":"1996","unstructured":"Gershenfeld, N.: Signal entropy and the thermodynamics of computation. IBM Systems Journal\u00a035(3-4), 577\u2013586 (1996)","journal-title":"IBM Systems Journal"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Koller, J.G., Athas, W.C.: Adiabatic switching, low energy computing, and the physics of storing and erasing information. In: Workshop on Physics and Computation, pp. 267\u2013270 (1992)","DOI":"10.1109\/PHYCMP.1992.615554"},{"issue":"3","key":"10_CR21","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":"10_CR22","unstructured":"Lutz, C.: Janus: A time-reversible language. A letter to R. Landauer (1986), http:\/\/tetsuo.jp\/ref\/janus.pdf"},{"issue":"7","key":"10_CR23","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1109\/TCSVT.2003.814964","volume":"13","author":"H.S. Malvar","year":"2003","unstructured":"Malvar, H.S., Hallapuro, A., Karczewicz, M., Kerofsky, L.: Low-complexity transform and quantization in H. 264\/AVC. IEEE Transactions on Circuits and Systems for Video Technology\u00a013(7), 598\u2013603 (2003)","journal-title":"IEEE Transactions on Circuits and Systems for Video Technology"},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1088\/0957-4484\/4\/1\/002","volume":"4","author":"R.C. Merkle","year":"1993","unstructured":"Merkle, R.C.: Reversible electronic logic using switches. Nanotechnology\u00a04(1), 21\u201340 (1993)","journal-title":"Nanotechnology"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45132-3_6","volume-title":"Machines, Computations, and Universality","author":"K. Morita","year":"2001","unstructured":"Morita, K.: A Simple Universal Logic Element and Cellular Automata for Reversible Computing. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol.\u00a02055, pp. 102\u2013113. Springer, Heidelberg (2001)"},{"key":"10_CR26","unstructured":"Nielsen, M., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"key":"10_CR27","unstructured":"Patra, P., Fussell, D.: On efficient adiabatic design of MOS circuits. In: Workshop on Physics and Computation, pp. 260\u2013269 (1996)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Sheeran, M.: muFP, A language for VLSI design. In: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, LFP 1984, pp. 104\u2013112. ACM (1984)","DOI":"10.1145\/800055.802026"},{"issue":"7","key":"10_CR29","first-page":"1135","volume":"11","author":"M. Sheeran","year":"2005","unstructured":"Sheeran, M.: Hardware design and functional programming: a perfect match. Journal of Universal Computer Science\u00a011(7), 1135\u20131158 (2005)","journal-title":"Journal of Universal Computer Science"},{"issue":"1","key":"10_CR30","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(1), 205\u2013222 (2009)","journal-title":"Parallel Processing Letters"},{"issue":"38","key":"10_CR31","doi-asserted-by":"publisher","first-page":"382002","DOI":"10.1088\/1751-8113\/43\/38\/382002","volume":"43","author":"M.K. Thomsen","year":"2010","unstructured":"Thomsen, M.K., Gl\u00fcck, R., Axelsen, H.B.: Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and Theoretical\u00a043(38), 382002 (2010)","journal-title":"Journal of Physics A: Mathematical and Theoretical"},{"key":"10_CR32","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: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 632\u2013644. Springer, Heidelberg (1980)"},{"issue":"1","key":"10_CR33","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1103\/PhysRevA.54.147","volume":"54","author":"V. Vedral","year":"1996","unstructured":"Vedral, V., Barenco, A., Ekert, A.: Quantum networks for elementary arithmetic operations. Physical Review A\u00a054(1), 147\u2013153 (1996)","journal-title":"Physical Review A"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R.: Towards a Design Flow for Reversible Logic. Springer Science (2010)","DOI":"10.1007\/978-90-481-9579-4"},{"key":"10_CR35","first-page":"1","volume-title":"Proceedings of the Forum on Specification & Design Languages","author":"R. Wille","year":"2010","unstructured":"Wille, R., Offermann, S., Drechsler, R.: SyReC: A programming language for synthesis of reversible circuits. In: Proceedings of the Forum on Specification & Design Languages, pp. 1\u20136. IET, Southhampton (2010)"},{"key":"10_CR36","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)"},{"key":"10_CR37","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1145\/1244381.1244404"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T08:39:41Z","timestamp":1745138381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}