{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:42:43Z","timestamp":1725496963380},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418641"},{"type":"electronic","value":"9783540453154"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45315-6_17","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T06:28:39Z","timestamp":1196663319000},"page":"261-275","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Class Analysis of Object-Oriented Programs through Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Jensen","sequence":"first","affiliation":[]},{"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/3-540-58485-4_34","volume-title":"Proc. of the 1st Int. Static Analysis Symp.","author":"O. Agesen","year":"1994","unstructured":"O. Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In B. Le Charlier, editor, Proc. of the 1st Int. Static Analysis Symp., volume 864 of Lecture Notes in Computer Science, pages 78\u2013100. Springer-Verlag, 1994."},{"issue":"10","key":"17_CR2","first-page":"324","volume":"31","author":"D. F. Bacon","year":"1996","unstructured":"D. F. Bacon and P. F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proc. of OOPSLA\u201996, volume 31(10) of ACM SIGPLAN Notices, pages 324\u2013341, New York, 1996. ACM Press.","journal-title":"Proc. of OOPSLA\u201996"},{"unstructured":"P. Bertelsen. Semantics of Java Byte Code. Technical report, Department of Information Technology, Technical University of Denmark, March 1997.","key":"17_CR3"},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","volume-title":"23rd Int. Symp. on Mathematical Foundations of Computer Science","author":"E. Borger","year":"1998","unstructured":"E. Borger and W. Schulte. Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. In L. Brim, J. Grunska, and J. Zlatusla, editors, 23rd Int. Symp. on Mathematical Foundations of Computer Science. Springer LNCS vol. 1450, 1998."},{"issue":"1-2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0304-3975(97)00137-0","volume":"202","author":"A. Cortesi","year":"1998","unstructured":"A. Cortesi, G. Fil\u00e9, and W. Winsborough. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):163\u2013192, 1998.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. In S. Brookes and M. Mislove, editors, 13th Conf. on Math. Found. of Programming Semantics, volume 6 of Electronic Notes on Theoretical Computer Science, Pittsburgh, PA, USA, March 1997. Elsevier Science Publishers. Available at \n                    http:\/\/www.elsevier.nl\/locate\/entcs\/volume6.html\n                    \n                  .","key":"17_CR6","DOI":"10.1016\/S1571-0661(05)80168-9"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot. Types as Abstract Interpretations. In 24th ACM Symposium on Principles of Programming Languages (POPL\u201997), pages 316\u2013331. ACM Press, 1997.","key":"17_CR7","DOI":"10.1145\/263699.263744"},{"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 4th ACM Symp. on Principles of Programming Languages, pages 238\u2013252, 1977.","key":"17_CR8","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In 6th ACM Symp. on Principles of Programming Languages, pages 269\u2013282, 1979.","key":"17_CR9","DOI":"10.1145\/567752.567778"},{"issue":"10","key":"17_CR10","first-page":"292","volume":"31","author":"A. Diwan","year":"1996","unstructured":"A. Diwan, J. E. B. Moss, and K. S. McKinley. Simple and Effective Analysis of Statically Typed Object-Oriented Programs. In Proc. of OOPSLA\u201996, volume 31(10) of ACM SIGPLAN Notices, pages 292\u2013305, New York, 1996. ACM Press.","journal-title":"Proc. of OOPSLA\u201996"},{"issue":"11","key":"17_CR11","first-page":"146","volume":"26","author":"J. Palsberg","year":"1991","unstructured":"J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Inference. In Proc. of OOPSLA\u201991, volume 26(11) of ACM SIGPLAN Notices, pages 146\u2013161. ACM Press, November 1991.","journal-title":"Proc. of OOPSLA\u201991"},{"issue":"10","key":"17_CR12","first-page":"324","volume":"29","author":"J. Plevyak","year":"1994","unstructured":"J. Plevyak and A. A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proc. of OOPSLA\u201994, volume 29(10) of ACM SIGPLAN Notices, pages 324\u2013340. ACM Press, October 1994.","journal-title":"Proc. of OOPSLA\u201994"},{"issue":"7","key":"17_CR13","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/53990.54007","volume":"23","author":"O. Shivers","year":"1988","unstructured":"O. Shivers. Control-Flow Analysis in Scheme. In Proc. of the 1988 Conf. on Programming Languages Design and Implementation, volume 23(7) of ACM SIGPLAN Notices, pages 164\u2013174. ACM Press, July 1988.","journal-title":"Proc. of the 1988 Conf. on Programming Languages Design and Implementation"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45315-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:22:46Z","timestamp":1558279366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45315-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418641","9783540453154"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45315-6_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"23 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}