{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:22Z","timestamp":1725663982888},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_98","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:32Z","timestamp":1330263452000},"page":"224-243","source":"Crossref","is-referenced-by-count":6,"title":["Separate abstract interpretation for control-flow analysis"],"prefix":"10.1007","author":[{"given":"Yan Mei","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jouvelot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Appel, A. W. Compiling with Continuations. Princeton University, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R. Abstract Interpretation, a unified lattice model for static analysis of programs by construction of approximation of fixpoints. In ACM Symposium on Principles of Programming Languages. 1977.","DOI":"10.1145\/512950.512973"},{"key":"12_CR3","volume-title":"Algebraic Reconstruction of Types and Effects","author":"P. Jouvelot","year":"1991","unstructured":"Jouvelot, P., and Gifford, D. K. Algebraic Reconstruction of Types and Effects. In Proceedings of the 1991 ACM Conference on Principles of Programming Languages. ACM, New-York, 1991."},{"key":"12_CR4","volume-title":"Polymorphic Effect Systems","author":"J. M. Lucassen","year":"1988","unstructured":"Lucassen, J. M., and Gifford, D. K. Polymorphic Effect Systems. In Proceedings of the 1988 ACM Conference on Principles of Programming Languages. ACM, New-York, 1988."},{"key":"12_CR5","unstructured":"Plotkin, G. A structural approach to operational semantics. In Technical report DAIMI-FN-19. Aarhus University, 1981."},{"key":"12_CR6","unstructured":"Shivers, O. Control-Flow Analysis of Higher-Order Languages. PhD thesis, CMU, May 1991."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Talpin, J. P., and Jouvelot, P. Polymorphic Type, Region and Effect Inference. Journal of Functional Programming, vol.2, no. 3, July 1992.","DOI":"10.1017\/S0956796800000393"},{"key":"12_CR8","unstructured":"Tang, Y. M., and Jouvelot, P. Control-Flow Effects for Escape Analysis. WSA'92, Bordeaux, France, September 1992."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:40Z","timestamp":1605647740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}