{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T00:08:42Z","timestamp":1719706122456},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1986,12,1]],"date-time":"1986-12-01T00:00:00Z","timestamp":533779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,12]]},"DOI":"10.1007\/bf03037389","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:35:41Z","timestamp":1240540541000},"page":"339-363","source":"Crossref","is-referenced-by-count":11,"title":["Adapting combinator and SECD machines to display snapshots of functional computations"],"prefix":"10.1007","volume":"4","author":[{"given":"Ian","family":"Toyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"No. 7","key":"BF03037389_CR1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/17919.806827","volume":"20","author":"C. V. Hall","year":"1985","unstructured":"Hall, C. V. and O\u2019Donnell, J. T., \u201cDebugging in a Side Effect Free Programming Environment\u201d,ACM SIGPLAN Notices, Vol. 20, No. 7, pp. 60\u201368, 1985.","journal-title":"ACM SIGPLAN Notices"},{"key":"BF03037389_CR2","volume-title":"Functional Programming: Application and Implementation","author":"P. Henderson","year":"1980","unstructured":"Henderson, P.,Functional Programming: Application and Implementation, Prentice-Hall, London, 1980."},{"key":"BF03037389_CR3","doi-asserted-by":"crossref","unstructured":"Hughes, R. J. M., \u201cSuper-Combinators: A New Implementation Method for Applicative Languages\u201d,ACM Symposium on LISP and Functional Programming, pp. 1\u201310, August, 1982.","DOI":"10.1145\/800068.802129"},{"key":"BF03037389_CR4","unstructured":"Kieburtz, R. B.,A Proposal for Interactive Debugging of ML Programs, Oregon Graduate Center, February, 1985."},{"key":"BF03037389_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"Landin, P. J., \u201cThe Next 700 Programming Languages\u201d,Communications of the ACM, 9, pp. 157\u2013166, 1966.","journal-title":"Communications of the ACM"},{"key":"BF03037389_CR6","doi-asserted-by":"crossref","unstructured":"Lieberman, H., \u201cSteps Toward Better Debugging Tools for Lisp\u201d,ACM Symposium on LISP and Functional Programming, pp. 247\u2013255, August, 1984.","DOI":"10.1145\/800055.802041"},{"key":"BF03037389_CR7","doi-asserted-by":"crossref","unstructured":"Meira, S. L., \u201cOptimized Combinatoric Code for Applicative Language Implementation\u201d,Proceedings 6th International Symposium on Programming, Springer-Verlag, pp. 206\u2013216, April, 1984.","DOI":"10.1007\/3-540-12925-1_40"},{"key":"BF03037389_CR8","unstructured":"Morris, J. H., \u201cReal Programming in Functional Languages\u201d, inFunctional Programming and its Applications (J. Darlington, P. Henderson, and D. A. Turner, eds.), Cambridge University Press, 1982."},{"key":"BF03037389_CR9","unstructured":"Mycroft, A., \u201cAbstract Interpretation and Optimising Transformations for Applicative Programs\u201d,Ph. D. Thesis CST-15-81, Dept. of Computer Science, University of Edinburgh, December, 1981."},{"issue":"No. 8","key":"BF03037389_CR10","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1002\/spe.4380150807","volume":"15","author":"S. L. Peyton Jones","year":"1985","unstructured":"Peyton Jones, S. L., \u201cYacc in Sasl \u2014 an Exercise in Functional Programming\u201d,Software \u2014 Practice and Experience, Vol. 15, No. 8, pp. 807\u2013820, 1985.","journal-title":"Software \u2014 Practice and Experience"},{"key":"BF03037389_CR11","unstructured":"Toyn, I. and Runciman, C.,Adapting SECD and Combinator Reduction Machines to Display Snapshots of Functional Computations, YCS. 79 Department of Computer Science, University of York, 1985."},{"issue":"No. 1","key":"BF03037389_CR12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D. A., \u201cA New Implementation Technique for Applicative Languages\u201d,Software \u2014 Practice and Experience, Vol. 9, No. 1, pp. 31\u201349, 1979.","journal-title":"Software \u2014 Practice and Experience"},{"key":"BF03037389_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume-title":"Miranda: A Non-Strict Functional Language with Polymorphic Types","author":"D. A. Turner","year":"1985","unstructured":"Turner, D. A., \u201cMiranda: A Non-Strict Functional Language with Polymorphic Types\u201d,Lecture Notes in Computer Science, 201 Springer-Verlag, Nancy, France, pp. 1\u201316, September, 1985."},{"key":"BF03037389_CR14","unstructured":"Wadler, P.,A Splitting Headache\u2014and its Cure! Strict vs. Lazy Semantics for Pattern Matching in Lazy Languages, Programming Research Group, Oxford University, January, 1985."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037389\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:35Z","timestamp":1558572755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["BF03037389"],"URL":"https:\/\/doi.org\/10.1007\/bf03037389","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}