{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:35Z","timestamp":1725662975658},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164463"},{"type":"electronic","value":"9783540397861"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16446-4_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:43:01Z","timestamp":1330177381000},"page":"42-62","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["The theory of strictness analysis for higher order functions"],"prefix":"10.1007","author":[{"given":"GL","family":"Burn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CL","family":"Hankin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S","family":"Abramsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Strictness Analysis and Polymorphic Invariance, Workshop on Programs as Data Objects, DIKU, Denmark, 17\u201319 October, 1985.","DOI":"10.1007\/3-540-16446-4_1"},{"key":"3_CR2","volume-title":"Arrows, Structures and Functors: The Categorical Imperative","author":"M. A. Arbib","year":"1975","unstructured":"Arbib, M.A., and Manes, E.G., Arrows, Structures and Functors: The Categorical Imperative, Academic Press, New York and London, 1975."},{"key":"3_CR3","unstructured":"Burn, G.L., Hankin, C.L., and Abramsky, S., Strictness Analysis for Higher-Order Functions, To appear in Science of Computer Programming. Also Imperial College of Science and Technology, Deprartment of Computing, Research Report DoC 85\/6, April 1985."},{"key":"3_CR4","unstructured":"Clack, C., and Peyton Jones, S.L., Generating Parallelism From Strictness Analysis, Department of Computer Science, University College London, Internal Note 1679, February, 1985."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R., Systematic Design of Program Analysis Frameworks, Conference Record of the 6th ACM Symposium on Principles of Programming Languages, pp. 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M. and Scott, D.S., A Compendium of Continuous Lattices, Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy, M., and Plotkin, G.D., Full Abstraction for a Simple Parallel Programming Language, Proceedings MFCS '79, Becvar, J. (ed.), Springer Verlag LNCS 74, 1979.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R., A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences 17, 348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR9","unstructured":"Mycroft, A., Abstract Interpretation and Optimising Transformations for Applicative Programs, PhD. Thesis, University of Edinburgh, 1981."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Mycroft, A., and Nielson, F., Strong Abstract Interpretation Using Power Domains (Extended Abstract) Proc. 10th International Colloquium on Automata, Languages and Programming: Springer Verlag LNCS 154, Diaz, J. (ed.), Barcelona, Spain, 18th\u201322nd July, 1983, 536\u2013547.","DOI":"10.1007\/BFb0036935"},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"Plotkin, G.D., A Powerdomain Construction, SIAM J. Comput. 5 3 (Sept 1976) 452\u2013487.","journal-title":"SIAM J. Comput."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., A Power Domain For Countable Non-Determinism (Extended Abstract), Proc. 9th International Colloquium on Automata, Languages and Programming: Springer Verlag LNCS 140, Nielson, M, and Schmidt, E.M. (eds.), 1982, 418\u2013428.","DOI":"10.1007\/BFb0012788"},{"key":"3_CR13","unstructured":"Scott, D., Lectures on a Mathematical Theory of Computation, Tech. Monograph PRG-19, Oxford Univ. Computing Lab., Programming Research Group, 1981."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Scott, D., Domains for Denotational Semantics, Automata, Languages and Programming, Proceedings of the 10th International Colloquium, Nielsen M, and Schmidt, E.M., (eds.), Springer-Verlag Lecture Notes in Computer Science, vol. 140, 1982, 577\u2013613.","DOI":"10.1007\/BFb0012801"},{"key":"3_CR15","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J.E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge Massachusetts, 1977."},{"key":"3_CR16","unstructured":"Wadsworth, C.P., Semantics and Pragmatics of the Lambda Calculus (Chapter 4), PhD Thesis, University of Oxford, 1971."}],"container-title":["Lecture Notes in Computer Science","Programs as Data Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16446-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T13:43:25Z","timestamp":1687268605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16446-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164463","9783540397861"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16446-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}