{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:37Z","timestamp":1725504577673},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78163-9_17","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T10:30:06Z","timestamp":1204281006000},"page":"172-187","source":"Crossref","is-referenced-by-count":6,"title":["Precise Set Sharing Analysis for Java-Style Programs"],"prefix":"10.1007","author":[{"given":"Mario","family":"M\u00e9ndez-Lojo","sequence":"first","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Syntax and Semantics of Java","year":"1999","unstructured":"Alves-Foss, J. (ed.): Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Proc. of OOPSLA 1996, October 1996. SIGPLAN Notices, vol.\u00a031(10), pp. 324\u2013341 (1996)","key":"17_CR3","DOI":"10.1145\/236338.236371"},{"issue":"2","key":"17_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/316686.316688","volume":"21","author":"F. Bueno","year":"1999","unstructured":"Bueno, F., Garc\u00eda de la Banda, M., Hermenegildo, M.: Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems\u00a021(2), 189\u2013238 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","first-page":"234","volume-title":"Languages and Compilers for Parallel Computing","author":"G. Michael","year":"1995","unstructured":"Michael, G., Burke, P.R.: Carini, Jong-Deok Choi, and Michael Hind. In: Pingali, K.K., et al. (eds.) LCPC 1994. LNCS, vol.\u00a0892, pp. 234\u2013250. Springer, Heidelberg (1995)"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/200994.200998","volume":"17","author":"M. Codish","year":"1995","unstructured":"Codish, M., et al.: Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems\u00a017(1), 28\u201344 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/239912.239914","volume":"19","author":"A. Cortesi","year":"1997","unstructured":"Cortesi, A., et al.: Complementation in abstract interpretation. ACM Trans. Program. Lang. Syst.\u00a019(1), 7\u201347 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252 (1977)","key":"17_CR8","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Sixth ACM Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282 (1979)","key":"17_CR9","DOI":"10.1145\/567752.567778"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"17_CR11","volume-title":"Java(TM) Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., et al.: Java(TM) Language Specification, 3rd edn. Addison-Wesley Professional, Reading (2005)","edition":"3"},{"unstructured":"Hill, P.M., Payet, E., Spoto, F.: Path-length analysis of object-oriented programs. In: Proc. EAAI (2006)","key":"17_CR12"},{"issue":"4","key":"17_CR13","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M. Hind","year":"1999","unstructured":"Hind, M., et al.: Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst.\u00a021(4), 848\u2013894 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"unstructured":"Jacobs, D., Langen, A.: Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In: 1989 North American Conference on Logic Programming, MIT Press, Cambridge (October 1989)","key":"17_CR14"},{"key":"17_CR15","first-page":"473","volume-title":"Best of PLDI","author":"W. Landi","year":"1992","unstructured":"Landi, W., Ryder, B.G.: A safe approximate algorithm for interprocedural pointer aliasing ((with retrospective)). In: McKinley, K.S. (ed.) Best of PLDI, pp. 473\u2013489. ACM Press, New York (1992)"},{"unstructured":"M\u00e9ndez-Lojo, M., Hermenegildo, M.: Precise Set Sharing for Java-style Programs (and proofs). Technical Report CLIP2\/2007.1, Technical University of Madrid (UPM), School of Computer Science, UPM (November 2007)","key":"17_CR16"},{"doi-asserted-by":"crossref","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.: A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. In: 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007) (August 2007)","key":"17_CR17","DOI":"10.1007\/978-3-540-78769-3_11"},{"doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized Object Sensitivity for Points-to and Side-effect Analyses for Java. In: ISSTA, pp. 1\u201311 (2002)","key":"17_CR18","DOI":"10.1145\/566172.566174"},{"key":"17_CR19","first-page":"166","volume-title":"1989 North American Conference on Logic Programming","author":"K. Muthukumar","year":"1989","unstructured":"Muthukumar, K., Hermenegildo, M.: Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In: 1989 North American Conference on Logic Programming, October 1989, pp. 166\u2013189. MIT Press, Cambridge (1989)"},{"key":"17_CR20","first-page":"49","volume-title":"1991 International Conference on Logic Programming","author":"K. Muthukumar","year":"1991","unstructured":"Muthukumar, K., Hermenegildo, M.: Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In: 1991 International Conference on Logic Programming, June 1991, pp. 49\u201363. MIT Press, Cambridge (1991)"},{"unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. In: 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007 (July 2007)","key":"17_CR21"},{"doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: OOPSLA, pp. 146\u2013161 (1991)","key":"17_CR22","DOI":"10.1145\/117954.117965"},{"unstructured":"Pollet, I.: Towards a generic framework for the abstract interpretation of Java. PhD thesis, Catholic University of Louvain, Dept. of Computer Science (2004)","key":"17_CR23"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_5","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"I. Pollet","year":"2001","unstructured":"Pollet, I., Charlier, B.L., Cortesi, A.: Distinctness and sharing domains for static analysis of java programs. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: POPL (1999)","key":"17_CR25","DOI":"10.1145\/292540.292552"},{"doi-asserted-by":"crossref","unstructured":"Secci, S., Spoto, F.: Pair-sharing analysis of object-oriented programs. In: SAS, pp. 320\u2013335 (2005)","key":"17_CR26","DOI":"10.1007\/11547662_22"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","first-page":"327","volume-title":"Trends in Information Processing Systems","author":"H. S\u00f8ndergaard","year":"1981","unstructured":"S\u00f8ndergaard, H.: An application of abstract interpretation of logic programs: occur check reduction. In: Duijvestijn, A.J.W., Lockemann, P.C. (eds.) Trends in Information Processing Systems. LNCS, vol.\u00a0123, pp. 327\u2013338. Springer, Heidelberg (1981)"},{"doi-asserted-by":"crossref","unstructured":"Sridharan, M., Bod\u00edk, R.: Refinement-based context-sensitive points-to analysis for Java. In: PLDI, pp. 387\u2013400 (2006)","key":"17_CR28","DOI":"10.1145\/1133255.1134027"},{"unstructured":"Streckenbach, M., Snelting, G.: Points-to for java: A general framework and an empirical comparison. Technical report, University Passau (November 2000)","key":"17_CR29"},{"key":"17_CR30","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/996841.996859","volume-title":"PLDI","author":"J. Whaley","year":"2004","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI, pp. 131\u2013144. ACM Press, New York (2004)"},{"doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient context-sensitive pointer analysis for C programs. In: PLDI, pp. 1\u201312 (1995)","key":"17_CR31","DOI":"10.1145\/207110.207111"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T18:59:28Z","timestamp":1684263568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781622","9783540781639"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_17","relation":{},"subject":[]}}