{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:00:46Z","timestamp":1648904446136},"reference-count":13,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4288,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s1571-0661(04)80871-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"20-34","source":"Crossref","is-referenced-by-count":1,"title":["A New Criterion for Safe Program Transformations"],"prefix":"10.1016","volume":"41","author":[{"given":"Yasuhiko","family":"Minamide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"PRESTO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB1","series-title":"\u201cCompiling with Continuation\u201d","author":"Appel","year":"1992"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Bakewell A. and C. Runciman, A model for comparing the space usage of lazy evaluators, in: 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), 2000.","DOI":"10.1145\/351268.351287"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Blelloch, G. E. and J. Greiner, A provably time and space efficient implementation of NESL, in: Proc. of ACM SIGPLAN International Conference on Functional Programming, 1996, pp. 213\u2013225.","DOI":"10.1145\/232627.232650"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB4","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001535","article-title":"Representing control: a study of the CPS transformation","volume":"2","author":"Danvy","year":"1992","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Flanagan C., A. Sabry, B. F. Duba and M. Felleisen, The essence of compiling with continuations, in: Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation, 1993, pp. 237\u2013247.","DOI":"10.1145\/155090.155113"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Greiner J. and G. E. Blelloch, A provably time-efficient parallel implementation of full speculation, in: Proc. of ACM Symposium on Principles of Programming Languages, 1996, pp. 309\u2013321.","DOI":"10.1145\/237721.237797"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB7","article-title":"A foundation for space-safe transformations of call-by-need programs","volume":"26","author":"Gustavsson","year":"1999","journal-title":"Proc. of the Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS99)"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB8","article-title":"A space-profiling semantics of call-by-value lambda calculus and the CPS transformation","volume":"26","author":"Minamide","year":"1999","journal-title":"Proc. of the Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS99)"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Minamide Y. and J. Garrigue, On the runtime complexity of type-directed unboxing, in: Proc. of ACM SIGPLAN International Conference on Functional Programming, 1998, pp. 1\u201312.","DOI":"10.1145\/289423.289424"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Ohori A. and N. Yoshida, Type inference with rank 1 polymorphism for type-directed compilation of ML, in: Proc. of ACM SIGPLAN International Conference on Functional Programming, 1999, pp. 160\u2013 171.","DOI":"10.1145\/317636.317796"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB11","unstructured":"Santos, A. L., \u201cCompilation by Transformation in Non-strict Functional Languages,\u201d Ph.D. thesis, Department of Computing Science, University of Glasgow (1995)."},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Shao Z., Flexible representation analysis, in: Proc. of ACM SIGPLAN International Conference on Functional Programming, 1997, pp. 85\u201398.","DOI":"10.1145\/258948.258958"},{"key":"10.1016\/S1571-0661(04)80871-5_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Tarditi D., G. Morrisett, P. Cheng, C. Stone, R. Harper and P. Lee, TIL: A type-directed optimizing compiler for ML, in: Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation, 1996, pp. 181\u2013192.","DOI":"10.1145\/231379.231414"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808715?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808715?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:56:22Z","timestamp":1549191382000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S1571066104808715"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80871-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,11]]}}}