{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:44Z","timestamp":1759638164708},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678649"},{"type":"electronic","value":"9783540446583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722298_6","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T20:43:10Z","timestamp":1167424990000},"page":"95-113","source":"Crossref","is-referenced-by-count":3,"title":["A Reversible SE(M)CD Machine"],"prefix":"10.1007","author":[{"given":"Werner","family":"Kluge","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Ait-Kuci, H.: The WAM: A (Real) Tutorial, Technical Report, Digital Equipment Corporation, Paris Research Labs (1990)"},{"key":"6_CR2","unstructured":"Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol.\u00a0103. North-Holland, Amsterdam (1981)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C. Benett","year":"1973","unstructured":"Benett, C.: Logical Reversibility of Computation. IBM Journal of Research and Development\u00a017, 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P. Benioff","year":"1980","unstructured":"Benioff, P.: The Computer as a Physical System: A Microscopic Quantum Mechanical Hamiltonian Model ofComputers as Represented by Turing Machines. Journal of Statistical Physics\u00a022, 563\u2013591 (1980)","journal-title":"Journal of Statistical Physics"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.1103\/PhysRevLett.48.1581","volume":"48","author":"P. Benioff","year":"1982","unstructured":"Benioff, P.: Quantum Mechanical Models of Turing Machines that Dissipate no Heat. Physical Review Letters\u00a048, 1581\u20131585 (1982)","journal-title":"Physical Review Letters"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Berkling, K.J.: Reduction Languages for Reduction Machines. In: Proceedings of the 2nd Annual Symposium on Computer Architecture, pp. 133\u2013140. ACM\/IEEE 75CH0916- 7C (1975)","DOI":"10.1145\/642089.642112"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Berkling, K.J.: Computer Architecture for Correct Programming. In: Proceedings of the 5th Annual Symposium on Computer Architecture, pp. 78\u201384. ACM\/IEEE (1978)","DOI":"10.1145\/800094.803031"},{"key":"6_CR8","unstructured":"Cardelli, L., McQueen, D.: The Functional Abstract Machine,The ML\/LCF\/HOPE Newsletter. AT&T, Bell Labs., Murray Hill, NJ (1983)"},{"key":"6_CR9","unstructured":"Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1941)"},{"key":"6_CR10","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. Int. Journal of Theoretical Physics\u00a021, 219\u2013253 (1982)","journal-title":"Int. Journal of Theoretical Physics"},{"issue":"Part 5","key":"6_CR11","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1017\/S0956796800001957","volume":"6","author":"D. Gaertner","year":"1996","unstructured":"Gaertner, D., Kluge, W.E.: \u03c0-RED\u2009+\u2009 - an interactive compiling graph reduction system for an applied \u03bb-calculus. Journal of Functional Programming\u00a06(Part 5), 723\u2013757 (1996)","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1093\/comjnl\/37.3.177","volume":"37","author":"D. Goldson","year":"1994","unstructured":"Goldson, D.: A Symbolic Calculator for Non-Strict Functional Programs. The Computer Journal\u00a037(3), 177\u2013187 (1994)","journal-title":"The Computer Journal"},{"key":"6_CR13","unstructured":"Hindley, J.R., Seldin, J.P.: Introduction to Combinators and \u03bb-Calculus, London Mathematical Society Student Texts . Cambridge University Press, Cambridge (1986)"},{"key":"6_CR14","unstructured":"Huelsbergen, L.: A logically reversible evaluator for the call-by-name lambda calculus. In: Toffoli, T., Biafore, M., Leao, J. (eds.) PhysCompm 1996, pp. 159\u2013167. New England Complex Systems Institute (1996)"},{"key":"6_CR15","unstructured":"Johnsson, T.: Compiling Lazy Functional Languages, PhD Thesis, Chalmers University of Technology, Goeteborg (1987)"},{"key":"6_CR16","unstructured":"Kluge, W.E.: A User\u2019s Guide for the Reduction System \u03c0-RED, Internal Report 9409, Dept. of Computer Science, University of Kiel, Germany (1994)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The Mechanical Evaluation of Expressions. The Computer Journal\u00a06(4), 308\u2013320 (1964)","journal-title":"The Computer Journal"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01752388","volume":"14","author":"T. Toffoli","year":"1981","unstructured":"Toffoli, T.: Bicontinuous Extensions of Invertible Combinatorial Functions. Mathematical Systems Theory\u00a014, 13\u201323 (1981)","journal-title":"Mathematical Systems Theory"},{"key":"6_CR19","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set, Technical Note 309. SRI International, Menlo Park, CA (1983)"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722298_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T16:03:38Z","timestamp":1553184218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722298_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678649","9783540446583"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/10722298_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}