{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:12Z","timestamp":1725664332014},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603603"},{"type":"electronic","value":"9783540450504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60360-3_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:19Z","timestamp":1330280419000},"page":"400-417","source":"Crossref","is-referenced-by-count":2,"title":["Binding-time analysis and strictness analysis by abstract interpretation"],"prefix":"10.1007","author":[{"given":"Franck","family":"V\u00e9drine","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Abstract Interpretation Frameworks. Journal of logic and computation. 1992.","DOI":"10.1093\/logcom\/2.4.511"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Galois Connection Based Abstract Interpretation for Strictness Analysis. In LNCS 735, pages 98\u2013127. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0039703"},{"key":"25_CR3","unstructured":"P. Cousot & R. Cousot. Higher-Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection and PER Analysis of Functional Languages). 1994."},{"key":"25_CR4","first-page":"80","volume-title":"Proceedings PEPM'93","author":"K. Davis","year":"1993","unstructured":"K. Davis. Higher-order Binding-time Analysis. In Proceedings PEPM'93, pages 80\u201387, Copenhagen, Denmark, 14\u201316 June 1993. ACM Press, 1993."},{"key":"25_CR5","unstructured":"N. D. Jones & C. K. Gomard & P. Sestoft. Partial Evaluation and Automatic Program Generation, pages 1\u2013100, Prentice Hall"},{"key":"25_CR6","unstructured":"P. Jouvelot & C. Consel. Separate Polyvariant Binding-Time Analysis."},{"key":"25_CR7","volume-title":"Ph.D. Dissertation, CST-15-81","author":"A. Mycroft","year":"1981","unstructured":"A. Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. Ph.D. Dissertation, CST-15-81, Department of Computer Science, University of Edinburgh, Edinburgh, Scot., 1981."},{"key":"25_CR8","unstructured":"J. Palsberg & M. I. Schwartzbach. Binding-time Analysis: Abstract Interpretation versus Type Inference."},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/115865.115881","volume-title":"Proceedings PEPM'91","author":"S. Hunt","year":"1991","unstructured":"S. Hunt & D. Sands. Binding Time Analysis: A New PERspective. Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings PEPM'91, pages 154\u2013165, Yale University, New Haven, Connecticut, USA, 17\u201319 June 1991. ACM Press, 1991."},{"key":"25_CR10","first-page":"137","volume-title":"Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT","author":"M. Wand","year":"1993","unstructured":"M. Wand. Specifying the Correctness of Binding-Time Analysis. Symposium on Principles of Programming Languages. Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT, pages 137\u2013143, Charleston, South Carolina, 10\u201313 January 1993. ACM Press, 1993."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"J. Launchbury. Strictness and Binding-Time Analysis: two for the price of one. In Proceedings ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 80\u201391, 1991.","DOI":"10.1145\/113446.113453"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"K. L. Solberg, H. R. Nielson and F. Nielson. Strictness and totality Analysis. First International Static Analysis Symposium. Proceedings SAS '94, pages 408\u2013422, Namur, Belgium, September 1994.","DOI":"10.1007\/3-540-58485-4_55"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60360-3_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:29Z","timestamp":1605646709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60360-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603603","9783540450504"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60360-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}