{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:25:50Z","timestamp":1742912750402,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662482872"},{"type":"electronic","value":"9783662482889"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48288-9_15","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T02:26:24Z","timestamp":1441074384000},"page":"252-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis"],"prefix":"10.1007","author":[{"given":"Ghila","family":"Castelnuovo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noam","family":"Rinetzky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.: Bebop: a path-sensitive interprocedural dataflow engine. In: PASTE (2001)","DOI":"10.1145\/379605.379690"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bodden, E.: Inter-procedural data-flow analysis with ifds\/ide and soot. In: SOAP (2012)","DOI":"10.1145\/2259051.2259052"},{"issue":"6","key":"15_CR3","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2049697.2049700","volume":"58","author":"C Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D., O\u2019Hearn, P.W., Yang, H.: Compositional shape analysis by means of bi-abduction. J. ACM 58(6), 26 (2011)","journal-title":"J. ACM"},{"key":"15_CR4","unstructured":"Castelnuovo, G.: Modular lattices for compositional interprocedural analysis. Master\u2019s thesis, School of Computer Science, Tel Aviv University (2012)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Chatterjee, R., Ryder, B.G., Landi, W.: Relevant context inference. In: POPL (1999)","DOI":"10.1145\/292540.292554"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Codish, M., Debray, S., Giacobazzi, R.: Compositional analysis of modular logic programs. In: POPL (1993)","DOI":"10.1145\/158511.158703"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In: POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"15_CR8","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of recursive procedures. In: Formal Descriptions of Programming Concepts (1978)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL (1979)","DOI":"10.1145\/567752.567778"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Modular static program analysis. In: CC (2002)","DOI":"10.1007\/3-540-45937-5_13"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Dillig, I., Dillig, T., Aiken, A., Sagiv, M.: Precise and compact modular procedure summaries for heap manipulating programs. In: PLDI (2011)","DOI":"10.1145\/1993498.1993565"},{"key":"15_CR12","unstructured":"Dolby, J., Fink, S., Sridharan, M.: T. J. Watson Libraries for Analysis (2006)"},{"key":"15_CR13","volume-title":"Crafting A Compiler","author":"CN Fischer","year":"2009","unstructured":"Fischer, C.N., Cytron, R.K., LeBlanc, R.J.: Crafting A Compiler. Addison-Wesley, New York (2009)"},{"issue":"6","key":"15_CR14","first-page":"547","volume":"24","author":"R Ghiya","year":"1996","unstructured":"Ghiya, R., Hendren, L.: Connection analysis: a practical interprocedural heap analysis for C. IJPP 24(6), 547\u2013578 (1996)","journal-title":"IJPP"},{"issue":"4","key":"15_CR15","first-page":"457","volume":"8","author":"R Giacobazzi","year":"1998","unstructured":"Giacobazzi, R.: Abductive analysis of modular logic programs. JLP 8(4), 457\u2013483 (1998)","journal-title":"JLP"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(98)00194-7","volume":"216","author":"R Giacobazzi","year":"1999","unstructured":"Giacobazzi, R., Ranzato, F.: The reduced relative power operation on abstract domains. TCS 216(1), 159\u2013211 (1999)","journal-title":"TCS"},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1042038.1042040","volume":"6","author":"R Giacobazzi","year":"2005","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract domains condensing. TOCL 6(1), 33\u201360 (2005)","journal-title":"TOCL"},{"issue":"5","key":"15_CR18","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1145\/293677.293680","volume":"20","author":"R Giacobazzi","year":"1998","unstructured":"Giacobazzi, R., Scozzari, F.: A logical model for relational abstract domains. TOPLAS 20(5), 1067\u20131109 (1998)","journal-title":"TOPLAS"},{"key":"15_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General Lattice Theory","author":"G Gratzer","year":"1978","unstructured":"Gratzer, G.: General Lattice Theory. Birkhauser Verlag, Berlin (1978)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Gulavani, B., Chakraborty, S., Ramalingam, G., Nori, A.: Bottom-up shape analysis using LISF. TOPLAS,33(5) (2011)","DOI":"10.1145\/2039346.2039349"},{"issue":"2\u20133","key":"15_CR21","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"D Jacobs","year":"1992","unstructured":"Jacobs, D., Langen, A.: Static analysis of logic programs for independent and parallelism. JLP 13(2\u20133), 291\u2013314 (1992)","journal-title":"JLP"},{"key":"15_CR22","unstructured":"Livshits, V.B., Lam, M.S.: Finding security vulnerabilities in java applications with static analysis. In: USENIX Security (2005)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-23702-7_6","volume-title":"Static Analysis","author":"R Madhavan","year":"2011","unstructured":"Madhavan, R., Ramalingam, G., Vaswani, K.: Purity analysis: an abstract interpretation formulation. In: Yahav, E. (ed.) Static Analysis. LNCS, vol. 6887, pp. 7\u201324. Springer, Heidelberg (2011)"},{"issue":"1\u20134","key":"15_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/176454.176519","volume":"2","author":"K Marriott","year":"1993","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Precise and efficient groundness analysis for logic programs. LOPLAS 2(1\u20134), 181\u2013196 (1993)","journal-title":"LOPLAS"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: POPL (2004)","DOI":"10.1145\/964001.964029"},{"key":"15_CR26","unstructured":"Naik, M.: Chord: A program analysis platform for Java (2006)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: POPL (1995)","DOI":"10.1145\/199448.199462"},{"issue":"1","key":"15_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(96)00072-2","volume":"167","author":"M Sagiv","year":"1996","unstructured":"Sagiv, M., Reps, T., Horwitz, S.: Precise interprocedural dataflow analysis with applications to constant propagation. TCS 167(1), 131\u2013170 (1996)","journal-title":"TCS"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A S\u0103lcianu","year":"2005","unstructured":"S\u0103lcianu, A., Rinard, M.: Purity and side effect analysis for java programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 199\u2013215. Springer, Heidelberg (2005)"},{"key":"15_CR30","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Program Flow Analysis: Theory and Applications (1981)"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Simon, A.: Deriving a complete type inference for hindley-milner and vector sizes using expansion. In: PEPM (2013)","DOI":"10.1145\/2426890.2426895"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for java programs. In: OOPSLA (1999)","DOI":"10.1145\/320384.320400"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48288-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:42:44Z","timestamp":1676475764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48288-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662482872","9783662482889"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48288-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}