{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:13Z","timestamp":1725512173200},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713159"},{"type":"electronic","value":"9783540713227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71322-7_14","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T15:05:59Z","timestamp":1180969559000},"page":"293-310","source":"Crossref","is-referenced-by-count":2,"title":["Types from Control Flow Analysis"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"213","volume-title":"Proc.\u00a0POPL\u201989","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., et al.: Dynamic typing in a statically typed language. In: Proc.\u00a0POPL\u201989, pp. 213\u2013227. ACM Press, New York (1989)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/3-540-46425-5_2","volume-title":"Programming Languages and Systems","author":"T. Amtoft","year":"2000","unstructured":"Amtoft, T., Turbak, F.: Faithul Translations between Polyvariant Flows and Polymorphic Types. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol.\u00a01782, pp. 26\u201340. Springer, Heidelberg (2000)"},{"key":"14_CR3","first-page":"1","volume-title":"Proc.\u00a0ICFP \u201997","author":"A. Banerjee","year":"1997","unstructured":"Banerjee, A.: A modular, polyvariant, and type-based closure analysis. In: Proc.\u00a0ICFP \u201997, pp. 1\u201310. ACM Press, New York (1997)"},{"key":"14_CR4","first-page":"316","volume-title":"Proc.\u00a0POPL \u201997","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Types as abstract interpretations. In: Proc.\u00a0POPL \u201997, pp. 316\u2013331. ACM Press, New York (1997)"},{"key":"14_CR5","first-page":"238","volume-title":"Proc.\u00a0POPL \u201977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc.\u00a0POPL \u201977, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-62503-8_12","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"K.-F. Fax\u00e9n","year":"1997","unstructured":"Fax\u00e9n, K.-F.: Polyvariance, polymorphism, and flow analysis. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192, pp. 260\u2013278. Springer, Heidelberg (1997)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60360-3_40","volume-title":"Static Analysis","author":"N. Heintze","year":"1995","unstructured":"Heintze, N.: Control-flow analysis and type systems. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983, pp. 189\u2013206. Springer, Heidelberg (1995)"},{"key":"14_CR8","first-page":"205","volume-title":"Proc.\u00a0LFP \u201992","author":"F. Henglein","year":"1992","unstructured":"Henglein, F.: Global Tagging Optimization by Type Inference. In: Proc.\u00a0LFP \u201992, pp. 205\u2013215. ACM Press, New York (1992)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-57264-3_47","volume-title":"Static Analysis","author":"B. Monsuez","year":"1993","unstructured":"Monsuez, B.: Polymorphic types and widening operators. In: Cousot, P., et al. (eds.) WSA 1993. LNCS, vol.\u00a0724, pp. 267\u2013281. Springer, Heidelberg (1993)"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.L.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-45309-1_17","volume-title":"Programming Languages and Systems","author":"F. Nielson","year":"2001","unstructured":"Nielson, F., Seidl, H.: Control-flow analysis in cubic time. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol.\u00a02028, pp. 252\u2013268. Springer, Heidelberg (2001)"},{"key":"14_CR12","first-page":"335","volume":"9","author":"F. Nielson","year":"2002","unstructured":"Nielson, F., Seidl, H., Riis Nielson, H.: A Succinct Solver for ALFP. Nordic Journal of Computing\u00a09, 335\u2013372 (2002)","journal-title":"Nordic Journal of Computing"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/210184.210187","volume":"17","author":"J. Palsberg","year":"1995","unstructured":"Palsberg, J., O\u2019Keefe, P.: A type system equivalent to flow analysis. ACM Transactions on Programming Languages and Systems\u00a017(4), 576\u2013599 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR14","first-page":"197","volume-title":"Proc.\u00a0POPL\u201998","author":"J. Palsberg","year":"1998","unstructured":"Palsberg, J., Pavlopoulou, C.: From polyvariant flow information to intersection and union types. In: Proc.\u00a0POPL\u201998, pp. 197\u2013208. ACM Press, New York (1998)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/3-540-19488-6_146","volume-title":"Automata, Languages and Programming","author":"S. Thatte","year":"1988","unstructured":"Thatte, S.: Type inference with partial types. In: Lepist\u00f6, T., Salomaa, A. (eds.) ICALP 1988. LNCS, vol.\u00a0317, pp. 615\u2013629. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Program Analysis and Compilation, Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71322-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:18:29Z","timestamp":1605763109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_14","relation":{},"subject":[]}}