{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:42Z","timestamp":1725663942811},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559849"},{"type":"electronic","value":"9783540473350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55984-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:49:58Z","timestamp":1330253398000},"page":"236-250","source":"Crossref","is-referenced-by-count":14,"title":["Compile-time analysis of object-oriented programs"],"prefix":"10.1007","author":[{"given":"Jan","family":"Vitek","sequence":"first","affiliation":[]},{"given":"R. Nigel","family":"Horspool","sequence":"additional","affiliation":[]},{"given":"James S.","family":"Uhl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"22_CR2","unstructured":"C. D. Chambers. The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Languages. Ph. D. Thesis, Stanford University, 1992."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of Pointers and Structures. In SIGPLAN'90 Conf. on Programming Language Design and Implementation, 1990.","DOI":"10.1145\/93542.93585"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Program by Construction or Approximation of Fixpoints. In Conf. Rec. of the 4th ACM Symp. on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"22_CR5","unstructured":"A. Goldberg and G. Robson. Smalltalk-80 \u2014 The Language and its Implementation. Addison-Wesley, 1983."},{"key":"22_CR6","volume-title":"Technical Report CSRD Rpt. 860","author":"L. Harrison","year":"1989","unstructured":"L. Harrison. The Interprocedural Analysis and Automatic Parallelization of Scheme Programs. Technical Report CSRD Rpt. 860, University of Illinois, Urbana, Ill., 1989."},{"key":"22_CR7","unstructured":"A. V. Hense. Type Inference for O'small. Technischer Bericht A 06\/91, Universit\u00e4t des Saarlandes, 1991."},{"key":"22_CR8","unstructured":"R. N. Horspool and J. Vitek. Static Analysis of PostScript. In Proceeding of the International Conference on Computer Languages, 1992."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"P. Hudak. A Semantic Model of Reference Counting and its Abstraction. In Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.","DOI":"10.1145\/319838.319876"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"R. E. Johnson. Type-checking Smalltalk. In OOPSLA '86 Conf. Proc., 1986.","DOI":"10.1145\/28697.28728"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Inference. In OOPSLA'91 Conf. Proc., 1991.","DOI":"10.1145\/117954.117965"},{"key":"22_CR12","unstructured":"M. Sharir and A. Pnueli. Two Approaches to Interprocedural Data Flow Analysis. In S. S. Munchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"N. Suzuki. Inferring Types in Smalltalk. In Conf. Rec. of the 8th ACM Symp. on Principles of Programming Languages, 1981.","DOI":"10.1145\/567532.567553"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55984-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:30Z","timestamp":1605646950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55984-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559849","9783540473350"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55984-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}