{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:08Z","timestamp":1742591408871,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182030"},{"type":"electronic","value":"9783540478065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18203-9_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:30:54Z","timestamp":1330198254000},"page":"153-184","source":"Crossref","is-referenced-by-count":1,"title":["Reduction languages and reduction systems"],"prefix":"10.1007","author":[{"given":"Werner","family":"Kluge","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Schmittgen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abrams, P.S.: \u2018An APL Machine'; Technical Report No. 3, Dissertation, Stanford University, California, February 1970","key":"4_CR1","DOI":"10.2172\/4169175"},{"unstructured":"Backus, J.: \u2018Reduction Languages and Variable-Free Programming'; IBM Research Report RJ 1010, April 7, 1973","key":"4_CR2"},{"doi-asserted-by":"crossref","unstructured":"Backus, J.: \u2018Programming Language Semantics and Closed Applicative Languages'; San Jos\u00e9, California, IBM Research Report RJ 1245, July 5, 1973","key":"4_CR3","DOI":"10.1145\/512927.512934"},{"doi-asserted-by":"crossref","unstructured":"Backus, J.: \u2018Programming Language Semantics and Closed Applicative Languages'; ACM Symposium on Principles of Programming Languages, Boston, Masachusetts, October 1\u20133, 1973, pp. 71\u201386","key":"4_CR4","DOI":"10.1145\/512927.512934"},{"issue":"8","key":"4_CR5","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: \u2018Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs'; CACM, Vol. 21, No. 8, August 1978, pp. 613\u2013641","journal-title":"CACM"},{"doi-asserted-by":"crossref","unstructured":"Backus, J.: \u2018The Algebra of Functional Programs: Function Level Reasoning, Linear Equations and Extended Definitions'; in: Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 1981, LNCS 107, Edited by J. Diaz and I. Ramos, Springer-Verlag, ISBN 3-540-10699-5, pp. 1\u201343","key":"4_CR6","DOI":"10.1007\/3-540-10699-5_91"},{"key":"4_CR7","volume-title":"The Lambda Calculus","author":"H. P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: \u2018The Lambda Calculus'; 2nd Edition, North-Holland Co., Amsterdam, 1984","edition":"2nd Edition"},{"issue":"4","key":"4_CR8","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1109\/T-C.1971.223256","volume":"C-20","author":"K. J. Berkling","year":"1971","unstructured":"Berkling, K.J.: \u2018A Computing Machine Based on Tree Structure'; IEEE Transactions on Computers, Vol. C-20, No. 4, 1971, pp. 404\u2013418","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Berkling, K.J.: \u2018Reduction Languages for Reduction Machines'; Proceedings of the 2nd Annual Symposium on Computer Architecture, January 20\u201322, 1975, ACM\/IEEE 75CH0916-7C, pp. 133\u2013140","key":"4_CR9","DOI":"10.1145\/642089.642112"},{"unstructured":"Berkling, K.J.: \u2018Reduction Languages for Reduction Machines'; Internal Report GMD ISF-76-8, D-5205 Sankt Augustin 1, West Germany, September 14, 1976","key":"4_CR10"},{"unstructured":"Berkling, K.J.: \u2018A Symmetric Complement to the Lambda Calculus'; Internal Report GMD ISF-76-7, D-5205 Sankt Augustin 1, West Germany, September 14, 1976","key":"4_CR11"},{"doi-asserted-by":"crossref","unstructured":"Berkling, K.J.: \u2018Computer Architecture for Correct Programming'; Proceedings of the 5th Annual Symposium on Computer Architecture, IEEE New York, 1978","key":"4_CR12","DOI":"10.1145\/800094.803031"},{"key":"4_CR13","volume-title":"Headorder Reduction: A Graph Reduction Scheme for the Operational Lambda Calculus","author":"K. J. Berkling","year":"1986","unstructured":"Berkling, K.J.: \u2018Headorder Reduction: A Graph Reduction Scheme for the Operational Lambda Calculus'; CASE Center, Syracuse University, Syracuse, NY 13244-1190, November 1986"},{"doi-asserted-by":"crossref","unstructured":"Berkling, K.J.; Fehr, E.: \u2018A Modification of the Lambda-Calculus as a Base for Functional Programming Languages'; 9th International Colloquium on Automata, Languages and Programming (ICALP 82), Aarhus, Denmark, July 12\u201316, 1982, LNCS 140, Edited by M. Nielson and E.M. Schmidt, Springer-Verlag, ISBN 3-540-11576-5, pp. 35\u201347","key":"4_CR14","DOI":"10.1007\/BFb0012755"},{"doi-asserted-by":"crossref","unstructured":"Berkling, K.J.; Fehr, E.: \u2018A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages'; Information and Control, Academic Press New York, Vol. 55, Nos. 1\u20133, October\/November\/December 1982","key":"4_CR15","DOI":"10.1016\/S0019-9958(82)90458-2"},{"key":"4_CR16","series-title":"The Systems Programming Series","volume-title":"Recursive Programming Techniques","author":"W. H. Burge","year":"1975","unstructured":"Burge, W.H.: \u2018Recursive Programming Techniques'; The Systems Programming Series, Addison-Wesley Publishing Co., Reading, Massachusetts, 1975"},{"doi-asserted-by":"crossref","unstructured":"Burton, F.W.; Sleep, M.R.: \u2018Executing Functional Programs on a Virtual Tree of Processors'; Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, October 18\u201322, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire, pp. 187\u2013194","key":"4_CR17","DOI":"10.1145\/800223.806778"},{"unstructured":"Church, A.: \u2018The Calculi of Lambda Conversion'; Annals of Mathematics Studies, No. 6, Princeton, University Press, 1941","key":"4_CR18"},{"key":"4_CR19","volume-title":"'Combinatory Logic'; Vol. I","author":"H. B. Curry","year":"1958","unstructured":"Curry, H.B.; Feys, R.: 'Combinatory Logic'; Vol. I, North-Holland Publishing Co., Amsterdam, The Netherlands, 1958"},{"doi-asserted-by":"crossref","unstructured":"Darlington, J.; Reeve, M.: \u2018ALICE \u2014 A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages'; Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, October 18\u201322, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire, pp. 65\u201375","key":"4_CR20","DOI":"10.1145\/800223.806764"},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N. G. Bruijn De","year":"1972","unstructured":"De Bruijn, N.G.: \u2018Lambda-Calculus Notation with Nameless Dummies. A Tool for Automatic Formula Manipulation with Application to the Church-Rosser-Theorem'; Indagationes Mathematicae 34, 1972, pp. 381\u2013392","journal-title":"Indagationes Mathematicae"},{"issue":"4","key":"4_CR22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/TC.1978.1675100","volume":"C-27","author":"D. P. Friedman","year":"1978","unstructured":"Friedman, D.P.; Wise, D.S.: \u2018Aspects of Applicative Programming for Parallel Processing'; IEEE Transactions on Computers, Vol. C-27, No. 4, 1978, pp. 289\u2013296","journal-title":"IEEE Transactions on Computers"},{"unstructured":"Gerdts, A.; Kowalewski, D.: \u2018First Experiences with an Emulation of a System of Cooperating Reduction Machines'; Proceedings of the International Conference on High-Level Language Computer Architecture, Los Angeles, California, May 1984","key":"4_CR23"},{"doi-asserted-by":"crossref","unstructured":"Giloi, W.K.: \u2018Programmieren in APL'; de Gruyter Lehrbuch, 1977","key":"4_CR24","DOI":"10.1515\/9783110835557"},{"unstructured":"Giloi, W.K.; Berg, H.K.: 'sTARLET\u2014An Unorthodox Concept of a String\/Array Computer'; Information Processing 74, North-Holland Co., 1974","key":"4_CR25"},{"doi-asserted-by":"crossref","unstructured":"Giloi, W.K.; Berg, H.K.: 'sTARLET and the APL Machines'; Informatik-Fachberichte (GI), Band 4, Computer Architecture Workshop of the GI, Edited by W. H\u00e4ndler, Erlangen, May 1975, pp. 47\u201378","key":"4_CR26","DOI":"10.1007\/978-3-642-66400-7_4"},{"doi-asserted-by":"crossref","unstructured":"Giloi, W.K.; Berg, H.K.: \u2018Data Structure Architectures \u2014 A Major Operational Principle'; Proceedings of the 5th Annual Symposium on Computer Architecture, IEEE New York, 1978","key":"4_CR27","DOI":"10.1145\/800094.803045"},{"doi-asserted-by":"crossref","unstructured":"Giloi, W.K.; G\u00fcth, R.: \u2018Concepts and Realization of a High-Performance Data Type Architecture'; International Journal of Computer and Information Science, Vol. 11, No. 1, 1982","key":"4_CR28","DOI":"10.1007\/BF00993199"},{"unstructured":"Giloi, W.K.; G\u00fcth, R.; Kallerhoff,R.: \u2018Hierarchical Function Distribution \u2014 A Design Principle for Advanced HLLAC's'; CAMP Report 82\u201306, Technische Universit\u00e4t Berlin, June 1982","key":"4_CR29"},{"unstructured":"G\u00fcth, R.: \u2018Entwurf einer Datentypenarchitektur'; PhD. Thesis, Fachbereich 20 Informatik, Technische Universit\u00e4t Berlin, 1982","key":"4_CR30"},{"key":"4_CR31","volume-title":"Functional Programming: Application and Implementation'","author":"P. Henderson","year":"1980","unstructured":"Henderson, P.: \u2018Functional Programming: Application and Implementation'; Prentice Hall International, London, 1980, ISBN 0-13-331579-7"},{"doi-asserted-by":"crossref","unstructured":"Henderson, P.; Morris, J.H.: \u2018A Lazy Evaluator'; Conference Record of the 3rd ACM Symposium on Principles of Programming Languages, January 1976, pp. 95\u2013103","key":"4_CR32","DOI":"10.1145\/800168.811543"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1002\/malq.19770230708","volume":"23","author":"J. R. Hindley","year":"1977","unstructured":"Hindley, J.R.: \u2018Combinatory Reductions and Lambda Reductions Compared'; Zeitschrift f\u00fcr Mathematische Logik 23, 1977, pp. 169\u2013180","journal-title":"Zeitschrift f\u00fcr Mathematische Logik"},{"unstructured":"Hindley, J.R.: \u2018Combinatory Reduction'; Proceedings of the 1st Autumn Workshop on Reduction Machines, Ustica, Italy, September 1985","key":"4_CR34"},{"doi-asserted-by":"crossref","unstructured":"Hindley, J.R.; Seldin, J.P.: \u2018Introduction to Combinators and \u03bb-Calculus'; London Mathematical Society Students Texts 1, Cambridge University Press, 1986","key":"4_CR35","DOI":"10.1017\/CBO9780511809835.002"},{"unstructured":"Hommes, F.: 'simulation einer Reduktionsmaschine'; Master-Thesis, Mathematisches Institut, University of Bonn, April 1975","key":"4_CR36"},{"unstructured":"Hommes, F.: \u2018The Internal Structure of the Reduction Machine'; GMD ISF-77-3, D-5205 Sankt Augustin 1, West Germany, March 1977","key":"4_CR37"},{"unstructured":"Hommes, F.: \u2018The Heap\/Substitution Concept \u2014 An Implementation of Functional Operations on Data Structures for a Reduction Machine'; Proceedings of the of the 9th Annual Symposium on Computer Architecture, Austin, Texas, April 26\u201329, 1982, ISSN 0149-7111, IEEE 82CH1754-1, pp. 248\u2013256","key":"4_CR38"},{"doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M.: 'super-Combinators'; Conference Record of the ACM Symposium on LISP and Functional Programming, Pittsburgh, Pennsylvania, August 15\u201318, 1982, pp. 1\u201310","key":"4_CR39","DOI":"10.1145\/800068.802129"},{"key":"4_CR40","volume-title":"A Programming Language","author":"K. E. Iverson","year":"1962","unstructured":"Iverson, K.E.: \u2018A Programming Language'; Wiley, New York, 1962"},{"unstructured":"Klop, J.W.: \u2018Combinatory Reduction Systems'; PhD. Thesis, Tract 129, Mathematical Center, Kruislaan 413, Amsterdam, 1980","key":"4_CR41"},{"unstructured":"Klop, J.W.: \u2018Term Rewriting Systems'; Proceedings of the 1st Autumn Workshop on Reduction Machines, Ustica, Italy, September 1985","key":"4_CR42"},{"unstructured":"Kluge, W.E.: \u2018The Architecture of the Reduction Machine Hardware Model'; GMD ISF-79-3, D-5205 Sankt Augustin 1, West Germany, August 1979","key":"4_CR43"},{"issue":"11","key":"4_CR44","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1109\/TC.1983.1676151","volume":"C-32","author":"W. E. Kluge","year":"1983","unstructured":"Kluge, W.E.: \u2018Cooperating Reduction Machines'; IEEE Transactions on Computers, Vol. C-32, No. 11, 1983, pp. 1002\u20131012","journal-title":"IEEE Transactions on Computers"},{"unstructured":"Kluge, W.E.: \u2018A Concept for Cooperating Reduction Machines'; Proceedings of the 2nd International Workshop on High-Level Language Computer Architecture, Fort Lauderdale, Florida, December 13\u201317, 1983","key":"4_CR45"},{"unstructured":"Kluge, W.; Schl\u00fctter, H.: \u2018An Architecture for Direct Execution of Reduction Languages'; Proceedings of the International Workshop on High-Level Language Computer Architecture, Fort Lauderdale, Florida, May 27\u201328, 1980","key":"4_CR46"},{"unstructured":"Schmittgen, C.: \u2018A Data Type Architecture for Reduction Machines'; Arbeitspapiere der GMD 152, D-5205 Sankt Augustin 1, West Germany, May 1985","key":"4_CR47"},{"key":"4_CR48","first-page":"78","volume":"I","author":"C. Schmittgen","year":"1986","unstructured":"Schmittgen, C.: \u2018A Data Type Architecture for Reduction Machines'; Proceedings of the 19th Hawaii International Conference on System Sciences, Vol. I, 1986, pp. 78\u201387","journal-title":"Proceedings of the 19th Hawaii International Conference on System Sciences"},{"unstructured":"Schmittgen, C.: 'spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterst\u00fctzung strukturierter Datenobjekte und n-stelliger definierter Funktionen'; PhD. Thesis, Fachbereich 20 Informatik, Technische Universit\u00e4t Berlin, 1986","key":"4_CR49"},{"unstructured":"Schmittgen, C.; Gerdts, A.; Haumann, J.; Kluge, W.; Woitass, M.: \u2018A System-Supported Workload Balancing Scheme for Cooperating Reduction Machines'; Arbeitspapiere der GMD 157, D-5205 Sankt Augustin 1, West Germany, June 1985","key":"4_CR50"},{"key":"4_CR51","first-page":"67","volume":"I","author":"C. Schmittgen","year":"1986","unstructured":"Schmittgen, C.; Gerdts, A.; Haumann, J.; Kluge, W.; Woitass, M.: \u2018A System-Supported Workload Balancing Scheme for Cooperating Reduction Machines'; Proceedings of the 19th Hawaii International Conference on System Sciences, Vol. I, 1986, pp. 67\u201377","journal-title":"Proceedings of the 19th Hawaii International Conference on System Sciences"},{"doi-asserted-by":"crossref","unstructured":"Schmittgen, C.; Kluge, W.E.: \u2018A System Architecture for the Concurrent Evaluation of Applicative Programm Expressions'; Conference Proceedings of the 10th Annual Symposium on Computer Architecture, Stockholm, Sweden, June 13\u201317, 1983, ACM 0149-7111, pp. 356\u2013362","key":"4_CR52","DOI":"10.1145\/1067651.801674"},{"key":"4_CR53","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u2018\u00dcber die Bausteine der mathematischen Logik'; Mathematische Annalen 92, 1924, pp. 305\u2013316","journal-title":"Mathematische Annalen"},{"unstructured":"Turner, D.A.: 'sASL Language Manual'; Saint Andrews University, Technical Report, December 1976","key":"4_CR54"},{"key":"4_CR55","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D.A.: \u2018A New Implementation Technique for Applicative Languages'; Software Practice and Experience, Vol. 9, 1979, pp. 31\u201349","journal-title":"Software Practice and Experience"},{"doi-asserted-by":"crossref","unstructured":"Turner, D.A.: \u2018The Semantic Elegance of Applicative Languages'; Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, October 18\u201322, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire, pp. 85\u201392","key":"4_CR56","DOI":"10.1145\/800223.806766"},{"unstructured":"Turner, D.A.: \u2018The Future of Applicative Programming, Trends in Information Processing Systems'; Proceedings of the 3rd Conference of the European Cooperation in Informatics, Munich, October 20\u201322, 1981, LNCS 123, Edited by A.J.W. Duijvestijn and P.C. Lockemann, Springer-Verlag, ISBN 3-540-10885-8, pp. 334\u2013348","key":"4_CR57"},{"unstructured":"Turner, D.A.: \u2018Recursive Equations as a Programming Language'; in: Functional Programming and Its Application, Edited by J. Darlington, P. Henderson and D.A. Turner, Cambridge University Press, 1982, pp. 1\u201328","key":"4_CR58"},{"issue":"12","key":"4_CR59","doi-asserted-by":"crossref","first-page":"1050","DOI":"10.1109\/TC.1984.1676387","volume":"C-33","author":"S. R. Vegdahl","year":"1984","unstructured":"Vegdahl, S.R.: \u2018A Survey of Proposed Architectures for the Execution of functional Languages'; IEEE Transactions on Computers, Vol. C-33, No. 12, December 1984, pp.1050\u20131071","journal-title":"IEEE Transactions on Computers"},{"unstructured":"Wadsworth, C.P.: 'semantics and Pragmatics of the Lambda-Calculus'; PhD. Thesis, University of Oxford, 1971","key":"4_CR60"}],"container-title":["Lecture Notes in Computer Science","Future Parallel Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18203-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:38:02Z","timestamp":1742589482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18203-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182030","9783540478065"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/3-540-18203-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}