{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:36:37Z","timestamp":1778297797133,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540638889","type":"print"},{"value":"9783540696612","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000474","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"231-245","source":"Crossref","is-referenced-by-count":21,"title":["Completeness in abstract interpretation: A domain perspective"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Giacobazzi","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Ranzato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"16_CR1","unstructured":"G. Amato and G. Levi. Properties of the lattice of observables in logic programming. In Proc. APPIA-GULP-PRODE'97, pp. 175\u2013187, 1997."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"T. Armstrong, K. Marriott, P. Schachte, and H. S\u00d8ndergaard. Two classes of Boolean functions for dependency analysis. To appear in Sci. Comput. Program., 1997.","DOI":"10.1016\/S0167-6423(96)00039-1"},{"issue":"1","key":"16_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"R. Barbuti, R. Giacobazzi, and G. Levi. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM TOPLAS, 15(1):133\u2013181, 1993.","journal-title":"ACM TOPLAS"},{"key":"16_CR4","unstructured":"C. Colby. Accumulated imprecision in abstract interpretation. In Proc. 1st ACM AAS'97, pp. 77\u201389, 1997."},{"key":"16_CR5","unstructured":"M. Comini and G. Levi. An algebraic theory of observables. In Proc. ILPS'94, pp. 172\u2013186, 1994."},{"issue":"1","key":"16_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/239912.239914","volume":"19","author":"A. Cortesi","year":"1997","unstructured":"A. Cortesi, G. Fil\u00e9, R. Giacobazzi, C. Palamidessi, and F. Ranzato. Complementation in abstract interpretation. ACM TOPLAS, 19(1):7\u201347, 1997.","journal-title":"ACM TOPLAS"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot. Types as abstract interpretations. In Proc. ACM POPL'97, pp. 316\u2013331, 1997.","DOI":"10.1145\/263699.263744"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. ACM POPL'77, pp. 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. ACM POPL'79, pp. 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proc. ACM POPL'92, pp. 83\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In Proc. IEEE ICCL'94, pp. 95\u2013112, 1994.","DOI":"10.1109\/ICCL.1994.288389"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form. In Proc. CAV'95, LNCS 939, pp. 293\u2013308, 1995.","DOI":"10.1007\/3-540-60045-0_58"},{"issue":"3","key":"16_CR13","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative modeling of the operational behavior of logic languages. Theor. Comput. Sci., 69(3):289\u2013318, 1989.","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"16_CR14","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/234528.234742","volume":"28","author":"G. Fil\u00e9","year":"1996","unstructured":"G. Fil\u00e9, R. Giacobazzi, and F. Ranzato. A unifying view of abstract domain design. ACM Comput. Surv., 28(2):333\u2013336, 1996.","journal-title":"ACM Comput. Surv."},{"key":"16_CR15","unstructured":"G. Fil\u00e9 and F. Ranzato. The powerset operator on abstract interpretations. To appear in Theor. Comput. Sci., 1998."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"R. Giacobazzi. \u201cOptimal\u201d collecting semantics for analysis in a hierarchy of logic program semantics. In Proc. STACS '96, LNCS 1046, pp. 503\u2013514, 1996.","DOI":"10.1007\/3-540-60922-9_41"},{"issue":"3","key":"16_CR17","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01236765","volume":"36","author":"R. Giacobazzi","year":"1996","unstructured":"R. Giacobazzi, C. Palamidessi, and F. Ranzato. Weak relative pseudo-complements of closure operators. Algebra Universalis, 36(3):405\u2013412, 1996.","journal-title":"Algebra Universalis"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"R. Giacobazzi and F. Ranzato. Refining and compressing abstract domains. In Proc. ICALP'97, LNCS 1256, pp. 771\u2013781, 1997.","DOI":"10.1007\/3-540-63165-8_230"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"R. Giacobazzi and F. Ranzato. Optimal domains for disjunctive abstract interpretation. To appear in Sci. Comput. Program., 1998.","DOI":"10.1016\/S0167-6423(97)00034-8"},{"issue":"1\u20134","key":"16_CR20","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/176454.176519","volume":"2","author":"K. Marriott","year":"1993","unstructured":"K. Marriott and H. S\u00d8ndergaard. Precise and efficient groundness analysis for logic programs. ACM Lett. Program. Lang. Syst., 2(1\u20134):181\u2013196, 1993.","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"16_CR21","unstructured":"A. Mycroft. Abstract interpretation and optimising transformations for applicative programs. PhD thesis, Univ. of Edinburgh, 1981."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"A. Mycroft. Completeness and predicate-based abstract interpretation. In Proc. ACM PEPM '93, pp. 179\u2013185, 1993.","DOI":"10.1145\/154630.154648"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"U.S. Reddy and S.N. Kamin. On the power of abstract interpretation. In Proc. IEEE ICCL '92, 1992.","DOI":"10.1109\/ICCL.1992.185465"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"R.C. Sekar, P. Mishra, and I.V. Ramakrishnan. On the power and limitation of strictness analysis. J. ACM, 44(3), 1997.","DOI":"10.1145\/258128.258212"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"B. Steffen. Optimal data flow analysis via observational equivalence. In Proc. MFCS '89, LNCS 379, 1989.","DOI":"10.1007\/3-540-51486-4_95"},{"key":"16_CR26","first-page":"403","volume":"26","author":"B. Steffen","year":"1992","unstructured":"B. Steffen, C.B. Jay, and M. Mendler. Compositional characterization of observable program properties. AFCET, 26:403\u2013424, 1992.","journal-title":"AFCET"},{"issue":"2","key":"16_CR27","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M. Ward","year":"1942","unstructured":"M. Ward. The closure operators of a lattice. Ann. Math., 43(2):191\u2013196, 1942.","journal-title":"Ann. Math."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T23:19:48Z","timestamp":1683242388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0000474","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}