{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:31:38Z","timestamp":1778301098196,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540609223","type":"print"},{"value":"9783540497233","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60922-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:36Z","timestamp":1330272276000},"page":"503-514","source":"Crossref","is-referenced-by-count":7,"title":["\u201cOptimal\u201d collecting semantics for analysis in a hierarchy of logic program semantics"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Giacobazzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Introduction to logic programming. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, vol. B, pp. 495\u2013574. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"T. Armstrong, K. Marriott, P. Schachte, and H. S\u00f8ndergaard. Boolean functions for dependency analysis: algebraic properties and efficient representation. In B. Le Charlier, ed., Proc. SAS'94, LNCS 864, pp. 266\u2013280, 1994.","DOI":"10.1007\/3-540-58485-4_46"},{"key":"41_CR3","first-page":"100","volume":"632","author":"R. Barbuti","year":"1992","unstructured":"R. Barbuti, M. Codish, R. Giacobazzi, and M. Maher. Oracle semantics for PROLOG. In Proc. ALP'92, LNCS 632, pp. 100\u2013114, 1992. To appear in Inf. & Comp.","journal-title":"LNCS"},{"issue":"1","key":"41_CR4","doi-asserted-by":"publisher","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. TOPLAS, 15(1):133\u2013181, 1993.","journal-title":"TOPLAS"},{"issue":"1\u20132","key":"41_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90200-3","volume":"122","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. A compositional semantics for logic programs. TCS, 122(1\u20132):3\u201347, 1994.","journal-title":"TCS"},{"key":"41_CR6","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1989-12305","volume":"12","author":"A. Batarekh","year":"1989","unstructured":"A. Batarekh and V. S. Subrahmanian. Topological model set deformations. Fundamenta Informati\u00e6, 12:357\u2013400, 1989.","journal-title":"Fundamenta Informati\u00e6"},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10:91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"41_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0304-3975(94)90055-8","volume":"124","author":"M. Codish","year":"1994","unstructured":"M. Codish, D. Dams, and E. Yardeni. Bottom-up abstract interpretation of logic programs. TCS, 124(1):93\u2013126, 1994.","journal-title":"TCS"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"M. Codish, S. Debray, and R. Giacobazzi. Compositional analysis of modular logic programs. In ACM POPL '93, pp. 451\u2013464, 1993.","DOI":"10.1145\/158511.158703"},{"key":"41_CR10","unstructured":"M. Comini and G. Levi. An algebraic theory of observables. In M. Bruynooghe, ed., Proc. ILPS'94, pp. 172\u2013186, The MIT Press, 1994."},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"P. & R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In ACM POPL'77, pp. 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"P. & R. Cousot. Systematic design of program analysis frameworks. In ACM POPL '79 pp. 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"2\u20133","key":"41_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot & R. Cousot. Abstract interpretation and applications to logic programs. Journal of Logic Programming, 13(2\u20133):103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"P. & R. Cousot. Inductive definitions, semantics and abstract interpretation. In ACM POPL'92, pp. 83\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"issue":"3","key":"41_CR15","doi-asserted-by":"publisher","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. TCS, 69(3):289\u2013318, 1989.","journal-title":"TCS"},{"issue":"1","key":"41_CR16","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"102","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Inf. & Comp., 102(1):86\u2013113, 1993.","journal-title":"Inf. & Comp."},{"key":"41_CR17","first-page":"84","volume":"632","author":"M. Gabbrielli","year":"1992","unstructured":"M. Gabbrielli and M. C. Meo. Fixpoint semantics for partial computed answer substitutions and call patterns. In Proc. ALP'92, LNCS 632, pp. 84\u201399, 1992.","journal-title":"LNCS"},{"issue":"2\u20133","key":"41_CR18","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"D. Jacobs","year":"1992","unstructured":"D. Jacobs and A. Langen. Static analysis of logic programs for independent AND parallelism. Journal of Logic Programming, 13(2\u20133):291\u2013314, 1992.","journal-title":"Journal of Logic Programming"},{"key":"41_CR19","unstructured":"N. D. Jones and H. S\u00f8ndergaard. A semantics-based framework for the abstract interpretation of Prolog. In S. Abramsky and C. Hankin, eds., Abstract Interpretation of Declarative Languages, pp. 123\u2013142. Ellis Horwood Ltd, 1987."},{"key":"41_CR20","unstructured":"R. Kemp and G. Ringwood. Reynolds and Heyting models of logic programs. Technical report, Dept. of Computer Science, Queen Mary and Westfield College, 1991."},{"key":"41_CR21","doi-asserted-by":"crossref","unstructured":"A. Mycroft and F. Nielson. Strong abstract interpretation using power domains. In J. D\u00edaz, ed., Proc. ICALP'83, LNCS 154, pp. 536\u2013547. 1983.","DOI":"10.1007\/BFb0036935"},{"key":"41_CR22","first-page":"492","volume":"379","author":"B. Steffen","year":"1989","unstructured":"B. Steffen. Optimal data flow analysis via observational equivalence. In Proc. MFCS'89, LNCS 379, pp. 492\u2013502, 1989.","journal-title":"LNCS"},{"issue":"4","key":"41_CR23","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. JACM, 23(4):733\u2013742, 1976.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:11:06Z","timestamp":1640927466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}