{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:27:05Z","timestamp":1770290825701,"version":"3.49.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order and Symbolic Computation"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1010027404223","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"363-397","source":"Crossref","is-referenced-by-count":134,"title":["Definitional Interpreters for Higher-Order Programming Languages"],"prefix":"10.1007","volume":"11","author":[{"given":"John C.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"193816_CR1","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J. McCarthy","year":"1960","unstructured":"McCarthy, John. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the ACM, 3(4):184\u2013195, April 1960.","journal-title":"Communications of the ACM"},{"issue":"3","key":"193816_CR2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"Landin, Peter J. The next 700 programming languages. Communications of the ACM, 9(3):157\u2013166, March 1966.","journal-title":"Communications of the ACM"},{"key":"193816_CR3","first-page":"395","volume-title":"Proceedings of 23rd National ACM Conference","author":"A. Evans Jr.","year":"1968","unstructured":"Evans, Jr., Arthur. PAL - A language designed for teaching programming linguistics. In Proceedings of 23rd National ACM Conference, pages 395\u2013403. Brandin\/Systems Press, Princeton, New Jersey, 1968."},{"issue":"5","key":"193816_CR4","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/362349.362364","volume":"13","author":"J. C. Reynolds","year":"1970","unstructured":"Reynolds, John C. GEDANKEN - A simple typeless language based on the principle of completeness and the reference concept. Communications of the ACM, 13(5):308\u2013319, May 1970.","journal-title":"Communications of the ACM"},{"key":"193816_CR5","volume-title":"The Calculi of Lambda-Conversion, volume 6 of Annals of Mathematics Studies","author":"A. Church","year":"1941","unstructured":"Church, Alonzo. The Calculi of Lambda-Conversion, volume 6 of Annals of Mathematics Studies. Princeton University Press, Princeton, New Jersey, 1941."},{"key":"193816_CR6","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Combinatory Logic, Volume 1","author":"H. B. Curry","year":"1958","unstructured":"Curry, Haskell Brookes and Feys, Robert. Combinatory Logic, Volume 1. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1958. Second printing 1968."},{"key":"193816_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/B978-0-08-011356-2.50008-2","volume-title":"Advances in Programming and Non-Numerical Computation: Proceedings of A Summer School","author":"P. J. Landin","year":"1966","unstructured":"Landin, Peter J. A \u03bb-calculus approach. In Leslie Fox, editor, Advances in Programming and Non-Numerical Computation: Proceedings of A Summer School, pages 97\u2013141. Oxford University Computing Laboratory and Delegacy for Extra-Mural Studies, Pergamon Press, Oxford, England, 1966."},{"key":"193816_CR8","first-page":"19","volume-title":"Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics","author":"R. W. Floyd","year":"1966","unstructured":"Floyd, Robert W. Assigning meanings to programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19\u201332, New York City, April 5-7, 1966. American Mathematical Society, Providence, Rhode Island, 1967."},{"issue":"2","key":"193816_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0022-0000(69)80009-7","volume":"3","author":"Z. Manna","year":"1969","unstructured":"Manna, Zohar. The correctness of programs. Journal of Computer and System Sciences, 3(2):119\u2013127, May 1969.","journal-title":"Journal of Computer and System Sciences"},{"issue":"10","key":"193816_CR10","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580 and 583, October 1969. Reprinted in [11].","journal-title":"Communications of the ACM"},{"key":"193816_CR11","volume-title":"Programming Methodology","year":"1978","unstructured":"Gries, David, editor. Programming Methodology. Springer-Verlag, New York, 1978."},{"key":"193816_CR12","unstructured":"Scott, Dana S. Outline of a mathematical theory of computation. Technical Monograph PRG-2, Programming Research Group, Oxford University Computing Laboratory, Oxford, England, November 1970. A preliminary version appeared in Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems (1970), 169-176."},{"key":"193816_CR13","first-page":"65","volume-title":"Formal Semantics of Programming Languages: Courant Computer Science Symposium 2","author":"D. S. Scott","year":"1970","unstructured":"Scott, Dana S. Lattice theory, data types and semantics. In Randell Rustin, editor, Formal Semantics of Programming Languages: Courant Computer Science Symposium 2, pages 65\u2013106, New York University, New York, September 14-16, 1970. Prentice-Hall, Englewood Cliffs, New Jersey, 1972."},{"key":"193816_CR14","first-page":"157","volume-title":"Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress, volume 74 of Studies in Logic and the Foundations of Mathematics","author":"D. S. Scott","year":"1971","unstructured":"Scott, Dana S. Models for various type-free calculi. In Patrick Suppes, Leon Henkin, Athanase Joja, and Gr. C. Moisil, editors, Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress, volume 74 of Studies in Logic and the Foundations of Mathematics, pages 157\u2013187, Bucharest, Romania, August 29-September 4, 1971. North-Holland, Amsterdam, 1973."},{"key":"193816_CR15","volume-title":"Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics","author":"D. S. Scott","year":"1971","unstructured":"Scott, Dana S. Continuous lattices. In F. William Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, Dalhousie University, Halifax, Nova Scotia, January 16-19, 1971. Springer-Verlag, Berlin, 1972."},{"key":"193816_CR16","first-page":"1","volume-title":"Proceedings of an ACM Conference on Proving Assertions about Programs","author":"R. Milner","year":"1972","unstructured":"Milner, Robin. Implementation and applications of Scott's logic for computable functions. In Proceedings of an ACM Conference on Proving Assertions about Programs, pages 1\u20136, Las Cruces,New Mexico, January 6-7, 1972. ACM, New York. SIGPLAN Notices Volume 7, Number nu1 and SIGACT News, Number 14."},{"key":"193816_CR17","first-page":"79","volume-title":"Machine Intelligence","author":"R. M. Burstall","year":"1969","unstructured":"Burstall, Rodney M. Formal description of program structure and semantics in first order logic. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 5, pages 79\u201398. Edinburgh University Press, Edinburgh, Scotland, 1969."},{"key":"193816_CR18","unstructured":"Lucas, Peter, Lauer, Peter E., and Stigleitner, H. Method and notation for the formal definition of programming languages. Technical Report TR 25.087, IBM Laboratory Vienna, June 28, 1968. Revised July 1, 1970."},{"key":"193816_CR19","unstructured":"Reynolds, John C. GEDANKEN - a simple typeless language which permits functional data structures and coroutines. Report ANL-7621, Applied Mathematics Division, Argonne National Laboratory, Argonne, Illinois, September 1969."},{"issue":"3-4","key":"193816_CR20","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01019460","volume":"6","author":"F. Morris","year":"1993","unstructured":"Morris, F. Lockwood. The next 700 formal language descriptions. Lisp and Symbolic Computation, 6(3- 4):249\u2013257, November 1993. Original manuscript dated November 1970.","journal-title":"Lisp and Symbolic Computation"},{"key":"193816_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-1-4899-5841-9_3","volume-title":"Advances in Information Systems Science","author":"J. W. de Bakker","year":"1969","unstructured":"de Bakker, Jaco W. Semantics of programming languages. In Julius T. Tou, editor, Advances in Information Systems Science, volume 2, chapter 3, pages 173\u2013227. Plenum Press, New York, 1969."},{"key":"193816_CR22","first-page":"59","volume-title":"Machine Intelligence","author":"D. M. R. Park","year":"1969","unstructured":"Park, David M. R. Fixpoint induction and proofs of program properties. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 5, pages 59\u201378. Edinburgh University Press, Edinburgh, 1969."},{"issue":"2","key":"193816_CR23","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/362896.362902","volume":"11","author":"J. Feldman","year":"1968","unstructured":"Feldman, Jerome and Gries, David. Translator writing systems. Communications of the ACM, 11(2):77\u2013113, February 1968.","journal-title":"Communications of the ACM"},{"key":"193816_CR24","first-page":"21","volume-title":"Information Processing 62: Proceedings of IFIP Congress 1962","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, John. Towards a mathematical science of computation. In Cicely M. Popplewell, editor, Information Processing 62: Proceedings of IFIP Congress 1962, pages 21\u201328, Munich, August 27-September 1, 1962. North-Holland, Amsterdam, 1963."},{"key":"193816_CR25","unstructured":"Wozencraft, John M. and Evans, Jr., Arthur. Notes on programming linguistics. Technical report, Department of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts, February 1971."},{"key":"193816_CR26","first-page":"13","volume-title":"Formal Language Description Languages for Computer Programming: Proceedings of the IFIP Working Conference on Formal Language Description Languages","author":"A. van Wijngaarden","year":"1964","unstructured":"van Wijngaarden, Adriaan. Recursive definition of syntax and semantics. In T. B. Steel, Jr., editor, Formal Language Description Languages for Computer Programming: Proceedings of the IFIP Working Conference on Formal Language Description Languages, pages 13\u201324, Baden bei Wien, Austria, September 15-18, 1964. North-Holland, Amsterdam, 1966."},{"issue":"8","key":"193816_CR27","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1145\/361532.361558","volume":"15","author":"J. H. Morris Jr.","year":"1972","unstructured":"Morris, Jr., James H. A bonus from van Wijngaarden's device. Communications of the ACM, 15(8):773, August 1972.","journal-title":"Communications of the ACM"},{"key":"193816_CR28","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/800235.807077","volume-title":"Proceedings of an ACM Conference on Proving Assertions about Programs","author":"M. J. Fischer","year":"1972","unstructured":"Fischer, Michael J. Lambda calculus schemata. In Proceedings of an ACM Conference on Proving Assertions about Programs, pages 104\u2013109, Las Cruces, New Mexico, January 6-7, 1972. ACM, New York."},{"issue":"2-3","key":"193816_CR29","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P. J. Landin","year":"1965","unstructured":"Landin, Peter J. A correspondence between ALGOL 60 and Church's lambda-notation. Communications of the ACM, 8(2-3):89\u2013101, 158-165, February-March 1965.","journal-title":"Communications of the ACM"},{"key":"193816_CR30","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1093\/comjnl\/6.2.134","volume":"6","author":"D.W. Barron","year":"1963","unstructured":"Barron, D.W., Buxton, John N., Hartley, D.F., Nixon, E., and Strachey, Christopher. The main features of CPL. The Computer Journal, 6:134\u2013143, July 1963.","journal-title":"The Computer Journal"},{"issue":"2","key":"193816_CR31","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02163002","volume":"14","author":"A. van Wijngaarden","year":"1969","unstructured":"van Wijngaarden, Adriaan, Mailloux, B.J., Peck, J.E.L., and Koster, C.H.A. Report on the algorithmic language ALGOL 68. Numerische Mathematik, 14(2):79\u2013218, 1969.","journal-title":"Numerische Mathematik"},{"key":"193816_CR32","first-page":"937","volume-title":"1968 Fall Joint Computer Conference, volume 33, Part Two of AFIPS Conference Proceedings","author":"T.E. Cheatham Jr.","year":"1968","unstructured":"Cheatham, Jr., T.E., Fischer, Alice, and Jorrand, P. On the basis for ELF - an extensible language facility. In 1968 Fall Joint Computer Conference, volume 33, Part Two of AFIPS Conference Proceedings, pages 937\u2013948, San Francisco, December 9-11, 1968. Thompson Book Company, Washington, D.C."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010027404223.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010027404223\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010027404223.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:41:46Z","timestamp":1751982106000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010027404223"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["193816"],"URL":"https:\/\/doi.org\/10.1023\/a:1010027404223","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}