{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:33Z","timestamp":1725488853196},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442356"},{"type":"electronic","value":"9783540457893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45789-5_14","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:50:10Z","timestamp":1186825810000},"page":"165-179","source":"Crossref","is-referenced-by-count":3,"title":["Modular Control Flow Analysis for Libraries"],"prefix":"10.1007","author":[{"given":"Christian W.","family":"Probst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"O. Agesen. The Cartesian Product Algorithm: Simple and Precise Typing of Parametric Polymorphism. In Proceedings of the European Conference on Object-Oriented Programming, pages 2\u201326, 1995.","DOI":"10.1007\/3-540-49538-X_2"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"M. Alt, U. A\u03b2mann and H. van Someren. Cosy Compiler Phase Embedding with the CoSy Compiler Model. In Proceedings of the Conference on Compiler Construction, 1994.","DOI":"10.1007\/3-540-57877-3_19"},{"key":"14_CR3","volume-title":"Technical Report","author":"D. F. Bacon","year":"1998","unstructured":"D. F. Bacon. Fast and Effective Optimization of Statically Typed Object-Oriented Languages. Technical Report CSD-98-1017, University of California, Berkeley, Oct. 1998."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"R. Chatterjee, B. G. Ryder, and W. Landi. Relevant context inference. In Symposium on Principles of Programming Languages, pages 133\u2013146, 1999.","DOI":"10.1145\/292540.292554"},{"key":"14_CR5","unstructured":"J. Dean, D. Grove and C. Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. Technical Report 01-12-94, Washington University, Dec. 1994."},{"key":"14_CR6","unstructured":"H. Dewes and C. W. Probst. Static Method Call in Java. In Proceedings of the JOSES Workshop, 2001."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"M. F\u00e4hndrich, J. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In Conference on Programming Language Design and Implementation, pages 85\u201396, 1998.","DOI":"10.1145\/277652.277667"},{"issue":"2","key":"14_CR8","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/316686.316703","volume":"21","author":"C. Flanagan","year":"1999","unstructured":"C. Flanagan and M. Felleisen. Componential set-based analysis. ACM Trans. Programming Languages and Systems, 21(2), pages 370\u2013416, Mar. 1999.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"14_CR9","unstructured":"D. Genius, U. A\u03b2mann, P. Fritzson, H. Sips, R. Kurver, R. Wilhelm, H. Schepers and T. Rindborg. Java and CoSy Technology for Embedded Systems: the JOSES Project. In Proceedings of the Conference on Electronic Commerce, Multimedia, Embedded Systems and Technologies for Business Processes Stockholm, 1999."},{"key":"14_CR10","unstructured":"R. T. Hood and K. Kennedy. A Programming Environment for Fortran. In Proceedings of the 18th Annual Hawaii International Conference on System Sciences, pages 625\u2013637, 1985."},{"key":"14_CR11","unstructured":"F. Martin. Generation of Program Analyzers. Ph.D. Thesis, Universit\u00e4t des Saar-landes, 1999."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. R. Nielson and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"14_CR13","unstructured":"C.W. Probst. Flow Sensitive Call Graph Construction For Java. In Proceedings of the JOSES Workshop, 2001."},{"key":"14_CR14","unstructured":"C.W. Probst. Control Flow Analysis-An Overview. The JOSES Consortium, 1999."},{"key":"14_CR15","unstructured":"T. Ritzau, M. Beemster, F. Liekweg, C.W. Probst. JOC-The JOSES Compiler Presented at The Embedded Systems Show, London, 2000."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"A. Rountev and B. G. Ryder. Points-to and side-effect analyses for programs built with precompiled libraries. Technical Report 423, Rutgers University, Oct. 2000.","DOI":"10.1007\/3-540-45306-7_3"},{"key":"14_CR17","unstructured":"A. Rountev and B. G. Ryder. Practical points-to analysis for programs built with libraries. Technical Report 410, Rutgers University, Feb. 2000."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Z. Su, M. F\u00e4hndrich and A. Aiken. Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. In Symposium on Principles of Programming Languages, pages 81\u201395, 2000.","DOI":"10.1145\/325694.325706"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"V. Sundaresan, L. J. Hendren, C. Razafimahefa, R. Vall\u2019ee-Rai, P. Lam, E. Gagnon and C. Godin. Practical virtual method call resolution for Java. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application, pages 264\u2013280, 2000.","DOI":"10.1145\/354222.353189"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application, pages 281\u2013293, 2000.","DOI":"10.1145\/353171.353190"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45789-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:23:44Z","timestamp":1556738624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45789-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442356","9783540457893"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45789-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}