{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:51Z","timestamp":1775790711761,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540525929","type":"print"},{"value":"9783540470458","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52592-0_74","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:39:52Z","timestamp":1330205992000},"page":"361-376","source":"Crossref","is-referenced-by-count":18,"title":["Complexity analysis for a lazy higher-order language"],"prefix":"10.1007","author":[{"given":"David","family":"Sands","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","unstructured":"S. Abramsky and C.L. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"B. Bjerner and S. Holmstr\u00f6m. A compositional approach to time analysis of first order lazy functional programs. In Functional Programming Languages and computer architecture, conference proceedings. ACM press, 1989.","DOI":"10.1145\/99370.99382"},{"key":"22_CR3","unstructured":"B. Bjerner. Time Complexity of Programs in Type Theory. PhD thesis, Chalmers University of Technology, 1989."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"G.L. Burn. A relationship between abstract interpretation and projection analysis (extended abstract). In 17th ACM Symposium on Principals of Programming Languages, January 1990.","DOI":"10.1145\/96709.96724"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"K. Davis and P. Wadler. Backwards strictness analysis: Proved and improved. In Proceedings of Glasgow Workshop on Functional Programming, August 1989.","DOI":"10.1007\/978-1-4471-3166-3_2"},{"key":"22_CR6","volume-title":"Mathematical methods in the analysis of algorithms and data structures. Report 400","author":"P. Flajolet","year":"1985","unstructured":"P. Flajolet. Mathematical methods in the analysis of algorithms and data structures. Report 400, INRIA, Le Chesnay, France, May 1985."},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/42267.42275","volume":"35","author":"T. Hickey","year":"1988","unstructured":"T. Hickey and J. Cohen. Automating program analysis. J. ACM, 35:185\u2013220, January 1988.","journal-title":"J. ACM"},{"key":"22_CR8","unstructured":"R. J. M. Hughes. Backwards analysis of functional programs. DoC Research Report CSC\/87\/R3, University of Glasgow, March 1987."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"D. LeM\u00e9tayer. Mechanical analysis of program complexity. In ACM SIGPLAN 85 Symposium, July 1985.","DOI":"10.1145\/800225.806828"},{"key":"22_CR10","unstructured":"D. LeM\u00e9tayer. Analysis of functional programs by program transformation. In Second France-Japan Artificial Intelligence and Computer Science Symposium. North-Holland, 1988."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"M. Rosendahl. Automatic complexity analysis. In Functional Programming Languages and computer architecture, conference proceedings. ACM press, 1989.","DOI":"10.1145\/99370.99381"},{"key":"22_CR12","unstructured":"D. Sands. Complexity analysis for a higher order language. Technical Report DOC 88\/14, Imperial College, October 1988."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"P. Wadler. Strictness analysis aids time analysis. In 15th ACM Symposium on Principals of Programming Languages, January 1988.","DOI":"10.1145\/73560.73571"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B. Wegbreit","year":"1975","unstructured":"B. Wegbreit. Mechanical program analysis. C.ACM, 18:528\u2013539, September 1975.","journal-title":"C.ACM"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"P. Wadler and R. J. M. Hughes. Projections for strictness analysis. In 1987 Conference on Functional Programming and Computer Architecture, Portland, Oregon, September 1987.","DOI":"10.1007\/3-540-18317-5_21"},{"key":"22_CR16","unstructured":"S. C. Wray. Programming techniques for functional languages. Technical Report 92, University of Cambridge Computer Laboratory, June 1986."}],"container-title":["Lecture Notes in Computer Science","ESOP '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52592-0_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:57Z","timestamp":1605648297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52592-0_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525929","9783540470458"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-52592-0_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}