{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:51Z","timestamp":1760586471517},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_11","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T07:05:56Z","timestamp":1227683156000},"page":"154-168","source":"Crossref","is-referenced-by-count":35,"title":["A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs"],"prefix":"10.1007","author":[{"given":"Mario","family":"M\u00e9ndez-Lojo","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Navas","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-69611-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"E. Albert","year":"2006","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Hubert, L., Puebla, G.: Verification of Java Bytecode using Analysis and Transformation of Logic Programs. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 124\u2013139. Springer, Heidelberg (2006)"},{"key":"11_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)"},{"issue":"10","key":"11_CR3","first-page":"324","volume":"31","author":"D.F. Bacon","year":"1996","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of c++ virtual function calls. Proc. of OOPSLA 1996, SIGPLAN Notices\u00a031(10), 324\u2013341 (1996)","journal-title":"Proc. of OOPSLA 1996, SIGPLAN Notices"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/320384.320387","volume-title":"Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA1999)","author":"B. Blanchet","year":"1999","unstructured":"Blanchet, B.: Escape Analysis for Object Oriented Languages. Application to Java(TM). In: Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 1999), pp. 20\u201334. ACM, New York (1999)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming\u00a010, 91\u2013124 (1991)","journal-title":"Journal of Logic Programming"},{"key":"11_CR6","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). Technical report, School of Computer Science (UPM) (2004), http:\/\/www.ciaohome.org"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-30579-8_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B.-Y.E. Chang","year":"2005","unstructured":"Chang, B.-Y.E., Leino, K.R.M.: Abstract interpretation with alien expressions and heap structures. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 147\u2013163. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems\u00a016(1), 35\u2013101 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR9","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)","DOI":"10.1145\/512950.512973"},{"key":"11_CR10","unstructured":"DeLine, R., Leino, K.R.M.: BoogiePL: A typed procedural language for checking object-oriented programs. Technical Report MSR-TR-2005-70, Microsoft Research (2005)"},{"key":"11_CR11","unstructured":"Dietrich, S.W.: Extension Tables: Memo Relations in Logic Programming. In: Fourth IEEE Symposium on Logic Programming, pp. 264\u2013272 (September 1987)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-60360-3_53","volume-title":"Static Analysis","author":"C. Fecht","year":"1995","unstructured":"Fecht, C.: Gena - a tool for generating prolog analyzers from specifications. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983, pp. 418\u2013419. Springer, Heidelberg (1995)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of VMCAI","author":"S. Genaim","year":"2005","unstructured":"Genaim, S., Spoto, F.: Information Flow Analysis for Java Bytecode. In: Proc. of VMCAI. LNCS, Springer, Heidelberg (2005)"},{"key":"11_CR14","series-title":"Professional","volume-title":"Java(TM) Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java(TM) Language Specification, 3rd edn. Addison-Wesley, Professional Reading (2005)","edition":"3"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM TOPLAS\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM TOPLAS"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R., Kuehner, D.: Linear resolution with selection function. Artificial Intelligence\u00a02, 227\u2013260 (1971)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of jml: A behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes\u00a031(3), 1\u201338 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_26","volume-title":"Computer Aided Verification","author":"X. Leroy","year":"2001","unstructured":"Leroy, X.: Java Bytecode Verification: An Overview. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, Springer, Heidelberg (2001)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-45099-3_15","volume-title":"Static Analysis","author":"T. Lev-Ami","year":"2000","unstructured":"Lev-Ami, T., Sagiv, S.: TVLA: A system for implementing static analyses. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 280\u2013302. Springer, Heidelberg (2000)"},{"key":"11_CR21","volume-title":"Proc. of the 1st. Int\u2019l. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)","author":"F. Logozzo","year":"2005","unstructured":"Logozzo, F., Cortesi, A.: Abstract interpretation and object-oriented languages: Quo vadis? In: Proc. of the 1st. Int\u2019l. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005). ENTCS, Elsevier Science, Amsterdam (2005)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-69738-1_21","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Logozzo","year":"2007","unstructured":"Logozzo, F.: Cibai: An abstract interpreation-based static analyzer for modular analysis and verification of java classes. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, pp. 283\u2013298. Springer, Heidelberg (2007)"},{"issue":"2\/3","key":"11_CR23","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. JLP\u00a013(2\/3), 315\u2013347 (1992)","journal-title":"JLP"},{"key":"11_CR24","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":"11_CR25","unstructured":"Peralta, J., Cruz-Carlon, J.: From static single-assignment form to definite programs and back. In: Extended abstract in International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) (July 2006)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-49727-7_15","volume-title":"Static Analysis","author":"J.C. Peralta","year":"1998","unstructured":"Peralta, J.C., Gallagher, J., Sa\u011flam, H.: Analysis of Imperative Programs through Analysis of Constraint Logic Programs. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 246\u2013261. Springer, Heidelberg (1998)"},{"key":"11_CR27","unstructured":"Pollet, I.: Towards a generic framework for the abstract interpretation of Java. PhD thesis, Catholic University of Louvain, Dept. of Computer Science (2004)"},{"issue":"5","key":"11_CR28","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/349299.349327","volume":"35","author":"E. Ruf","year":"2000","unstructured":"Ruf, E.: Effective synchronization removal for java. PLDI 2000, SIGPLAN Notices\u00a035(5), 208\u2013218 (2000)","journal-title":"PLDI 2000, SIGPLAN Notices"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Secci, S., Spoto, F.: Pair-sharing analysis of object-oriented programs. In: SAS, pp. 320\u2013335 (2005)","DOI":"10.1007\/11547662_22"},{"key":"11_CR30","unstructured":"Spoto, F.: Julia: A Generic Static Analyser for the Java Bytecode. In: Proc. of the 7th Workshop on Formal Techniques for Java-like Programs, FTfJP 2005, Glasgow, Scotland (July 2005)"},{"key":"11_CR31","unstructured":"JOlden Suite, http:\/\/www-ali.cs.umass.edu\/DaCapo\/benchmarks.html"},{"key":"11_CR32","unstructured":"Vallee-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java optimization framework. In: Proceedings of CASCON 1999, pp. 125\u2013135 (1999)"},{"key":"11_CR33","first-page":"684","volume-title":"Fifth International Conference and Symposium on Logic Programming","author":"R. Warren","year":"1988","unstructured":"Warren, R., Hermenegildo, M., Debray, S.K.: On the Practicality of Global Flow Analysis of Logic Programs. In: Fifth International Conference and Symposium on Logic Programming, pp. 684\u2013699. MIT Press, Cambridge (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,23]],"date-time":"2021-09-23T02:40:25Z","timestamp":1632364825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}