{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T19:42:19Z","timestamp":1790797339992,"version":"4.1.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T00:00:00Z","timestamp":1193184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2007,11,20]]},"DOI":"10.1007\/s10990-007-9019-8","type":"journal-article","created":{"date-parts":[[2007,10,23]],"date-time":"2007-10-23T16:17:02Z","timestamp":1193156222000},"page":"231-235","source":"Crossref","is-referenced-by-count":15,"title":["On the correctness of the Krivine machine"],"prefix":"10.1007","volume":"20","author":[{"given":"Mitchell","family":"Wand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,10,24]]},"reference":[{"issue":"4","key":"9019_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L., L\u00e9vy, J.-J.: Explicit substitutions. J. Funct. Program. 1(4), 375\u2013416 (1991) Summary in ACM Symposium on Principles of Programming Languages (POPL), San Francisco, California, 1990","journal-title":"J. Funct. Program."},{"key":"9019_CR2","doi-asserted-by":"crossref","unstructured":"Ager, M.S., Biernacki, D., Danvy, O., Midtgaard, J.: A functional correspondence between evaluators and abstract machines. In: Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 8\u201319 (2003)","DOI":"10.1145\/888251.888254"},{"key":"9019_CR3","doi-asserted-by":"crossref","unstructured":"Cr\u00e9gut, P.: An abstract machine for the normalization of \u03bb-terms. In: Proc. 1990 ACM Symposium on Lisp and Functional Programming, pp. 333\u2013340 (1990)","DOI":"10.1145\/91556.91681"},{"key":"9019_CR4","doi-asserted-by":"crossref","unstructured":"Hannan, J., Miller, D.: From operational semantics to abstract machines: preliminary results. In: Proc. 1990 ACM Symposium on Lisp and Functional Programming, pp. 323\u2013332 (1990)","DOI":"10.1145\/91556.91680"},{"key":"9019_CR5","unstructured":"Krivine, J.-L.: Un interpr\u00e9teur du lambda-calcul. Unpublished note, at http:\/\/www.pps.jussieu.fr\/~krivine\/articles\/interprt.pdf (1985)"},{"key":"9019_CR6","unstructured":"Leroy, X.: The ZINC experiment: an economical implementation of the ML language. Technical Report\u00a0117, INRIA (1991)"},{"key":"9019_CR7","volume-title":"Algol 60 Implementation","author":"B. Randell","year":"1964","unstructured":"Randell, B., Russell, L.J.: Algol 60 Implementation. Academic, New York (1964)"},{"issue":"6","key":"9019_CR8","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1017\/S0956796898003141","volume":"8","author":"T. Streicher","year":"1998","unstructured":"Streicher, T., Reus, B.: Classical logic, continutation semantics and abstract machines. J. Funct. Program. 8(6), 543\u2013572 (1998)","journal-title":"J. Funct. Program."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9019-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-007-9019-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9019-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:41Z","timestamp":1559352581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-007-9019-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,24]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,11,20]]}},"alternative-id":["9019"],"URL":"https:\/\/doi.org\/10.1007\/s10990-007-9019-8","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,24]]}}}