{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:14Z","timestamp":1725496454911},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003489"},{"type":"electronic","value":"9783540363842"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36384-x_13","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T09:21:13Z","timestamp":1196328073000},"page":"132-145","source":"Crossref","is-referenced-by-count":5,"title":["Properties of a Type Abstract Interpreter"],"prefix":"10.1007","author":[{"given":"Roberta","family":"Gori","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"G. Cousineau and M. Mauny. The Functional Approach to Programming. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139173018"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot. Types as abstract interpretations. In Conference Record of the 24th ACM Symp. on Principles of Programming Languages, pages 316\u2013331. ACM Press, 1997.","DOI":"10.1145\/263699.263744"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of Fourth ACM Symp. Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proceedings of Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Comparing the Galois Connection and Widening\/ Narrowing Approaches to Abstract Interpretation","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois Connection and Widening\/ Narrowing Approaches to Abstract Interpretation. In M. Bruynooghe and M. Wirsing, editors, Proceedings of PLILP\u201992, volume 631 of Lecture Notes in Computer Science, pages 269\u2013295. Springer-Verlag, 1992."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, pages 207\u2013212. ACM Press, 1982.","DOI":"10.1145\/582153.582176"},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-47813-2_16","volume-title":"An experiment in type inference and verification by abstract interpretation","author":"R. Gori","year":"2002","unstructured":"R. Gori and G. Levi. An experiment in type inference and verification by abstract interpretation. In A. Cortesi, editor, Proc. of the VMCAI\u201902 workshop on Abstract Interpretaion and Model Checking, volume 2294 of LNCS, pages 225\u2013239, 2002."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.2307\/1995158","volume":"146","author":"J. R. Hindley","year":"1969","unstructured":"J. R. Hindley. The principal type-scheme of an object in combinatory logic. Transactions American Mathematical Society, 146:29\u201360, 1969.","journal-title":"Transactions American Mathematical Society"},{"key":"13_CR9","first-page":"365","volume":"B","author":"J. Mitchell","year":"1990","unstructured":"J. Mitchell. Type systems for programming languages. volume B of Handbook of Theoretical Computer Science, pages 365\u2013458. Elsevier, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-56287-7_107","volume-title":"Polymorphic typing by abstract interpretation","author":"B. Monsuez","year":"1992","unstructured":"B. Monsuez. Polymorphic typing by abstract interpretation. In R. Shyamasundar, editor, Proceedings of Foundation of Software Technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science, pages 217\u2013228. Springer-Verlag, 1992."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","first-page":"224","volume-title":"Polymorphic types and widening operators","author":"B. Monsuez","year":"1993","unstructured":"B. Monsuez. Polymorphic types and widening operators. In P. Cousot, M. Falaschi, G. Fil\u00e8, and A. Rauzy, editors, Proceedings of Static Analysis, volume 724 of Lecture Notes in Computer Science, pages 224\u2013281. Springer-Verlag, 1993."},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume-title":"Polymorphic type schemes and recursive definitions","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft. Polymorphic type schemes and recursive definitions. In G. Goos and J. Hartmanis, editors, Proceedings of the International Symposium on Programming, volume 167 of Lecture Notes in Computer Science, pages 217\u2013228. Springer-Verlag, 1984."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36384-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T18:51:13Z","timestamp":1551120673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36384-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003489","9783540363842"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36384-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}