{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:37:38Z","timestamp":1725417458229},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/scam.2007.24","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T12:50:08Z","timestamp":1209387008000},"page":"143-154","source":"Crossref","is-referenced-by-count":2,"title":["Improved Static Resolution of Dynamic Class Loading in Java"],"prefix":"10.1109","author":[{"given":"Jason","family":"Sawin","sequence":"first","affiliation":[]},{"given":"Atanas","family":"Rountev","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271173"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","article-title":"Scaling Java points-to analysis using Spark","author":"lhot\u00e1k","year":"2003","journal-title":"International Conference on Compiler Construction"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286945"},{"journal-title":"The Java Virtual Machine Specification","year":"1999","author":"lindholm","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/11575467_11","article-title":"Reflection analysis for Java","author":"livshits","year":"2005","journal-title":"6th Asian Symposium on Programming Languages and Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134447"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060809"},{"key":"ref18","first-page":"251","article-title":"Regular approximation of context-free grammars through transformation","author":"mohri","year":"2000","journal-title":"Robustness in Language and Speech Technology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1988.93690"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320414"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108814"},{"key":"ref27","first-page":"59","article-title":"Grammar-based analysis of string ex-pressions","author":"thiemann","year":"2005","journal-title":"ACM SIGPLAN Int Workshop on Types in Languages Design and Implementation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/945885.945890"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317494"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46423-9_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158703"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101935"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317486"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","article-title":"Precise analysis of string expressions","author":"christensen","year":"2003","journal-title":"Static Anal-ysis Symposium"},{"key":"ref9","first-page":"96","article-title":"Pointer analysis in the presence of dynamic class loading","author":"hirzel","year":"2004","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328693"},{"key":"ref20","first-page":"195","article-title":"Dynamic optimistic in-terprocedural analysis: A framework and an application","author":"pechtchanski","year":"2001","journal-title":"Conference on Object-Oriented Programming Systems Languages and Applications"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1995.526549"},{"key":"ref21","first-page":"139","article-title":"Towards dynamic interproce-dural analysis in JVMs","author":"qian","year":"2004","journal-title":"Virtual Machine Research and Technology Symposium"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353189"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00036-2"},{"key":"ref26","article-title":"Regular expression types for strings in a text processing language","author":"tabuchi","year":"2002","journal-title":"Proceedings of International Workshop on Types in Programming"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.16"}],"event":{"name":"Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007)","start":{"date-parts":[[2007,9,30]]},"location":"Paris, France","end":{"date-parts":[[2007,10,1]]}},"container-title":["Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4362882\/4362883\/04362906.pdf?arnumber=4362906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T15:47:55Z","timestamp":1557503275000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4362906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/scam.2007.24","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}