{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:29Z","timestamp":1725663389728},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:27Z","timestamp":1330199727000},"page":"476-489","source":"Crossref","is-referenced-by-count":7,"title":["Path semantics"],"prefix":"10.1007","author":[{"given":"Adrienne","family":"Bloss","sequence":"first","affiliation":[]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"A. Bloss and P. Hudak. Variations on strictness analysis. In Proc. 1986 ACM Conf. on LISP and Functional Prog., pages 132\u2013142, ACM, August 1986.","DOI":"10.1145\/319838.319857"},{"key":"26_CR2","unstructured":"G.L. Burn, C.L. Hankin, and S. Abramsky. The theory and practice of strictness analysis for higher order functions. Technical Report DoC 85\/6, Imperial College of Science and Technology, Department of Computing, April 1985."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"C. Clack and S.L. Peyton Jones. Strictness analysis \u2014 a practical approach. In Functional Programming Languages and Computer Architecture, pages 35\u201349, Springer-Verlag LNCS 201, September 1985.","DOI":"10.1007\/3-540-15975-4_28"},{"key":"26_CR4","unstructured":"B. Goldberg. Multiprocessor Execution of Functional Programs. PhD thesis, Yale University, Department of Computer Science, September 1987."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"P. Hudak and A. Bloss. The aggregate update problem in functional programming systems. In 12th ACM Sym. on Prin. of Prog. Lang., pages 300\u2013314, ACM, 1985.","DOI":"10.1145\/318593.318660"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"P. Hudak and J. Young. Higher-order strictness analysis for untyped lambda calculus. In 12th ACM Sym. on Prin. of Prog. Lang., pages 97\u2013109, January 1986.","DOI":"10.1145\/512644.512653"},{"key":"26_CR7","unstructured":"T. Johnsson. Detecting when call-by-value can be used instead of call-by-need. Laboratory for Programming Methodology Memo 14, Chalmers University of Technology, Dept. of Computer Science, October 1981."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"N.D. Jones and S.S. Muchnick. Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra, pages 380\u2013393. Prentice-Hall, 1981.","DOI":"10.1109\/SFCS.1980.16"},{"key":"26_CR9","unstructured":"A. Mycroft. Abstract Interpretation and Optimizing Transformations for Applicative Programs. PhD thesis, Univ. of Edinburgh, 1981."},{"key":"26_CR10","first-page":"269","volume":"83","author":"A. Mycroft","year":"1980","unstructured":"A. Mycroft. The theory and practice of transforming call-by-need into call-by-value. In Proc. of Int. Sym. on Programming, pages 269\u2013281, Springer-Verlag LNCS Vol. 83, 1980.","journal-title":"Proc. of Int. Sym. on Programming"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"J-C. Raoult and R. Sethi. The global storage needs of a subcomputation. In 11th ACM Sym. on Prin. of Prog. Lang., pages 148\u2013157, ACM, January 1984.","DOI":"10.1145\/800017.800526"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:20:44Z","timestamp":1640917244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}