{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:18:32Z","timestamp":1725574712807},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676683"},{"type":"electronic","value":"9783540450993"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_3","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T09:05:17Z","timestamp":1294995917000},"page":"38-57","source":"Crossref","is-referenced-by-count":2,"title":["Abstract Interpretation Based Semantics of Sequent Calculi"],"prefix":"10.1007","author":[{"given":"Gianluca","family":"Amato","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Amato, G.: Uniform Proofs and Fixpoint Semantics of Sequent Calculi. DRAFT (1999), Available at the following http:\/\/www.di.unipi.it\/~amato\/papers\/"},{"key":"3_CR2","unstructured":"Amato, G., Levi, G.: Properties of the lattice of observables in logic programming. In: Falaschi, M., Navarro, M. (eds.) Proceedings of the APPIAGULP- PRODE 1997 Joint Conference on Declarative Programming (1997)"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.M. Andreoli","year":"1992","unstructured":"Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-58485-4_46","volume-title":"Static Analysis","author":"Tania Armstrong","year":"1994","unstructured":"Armstrong, T., Marriott, K., Schachte, P., S\u00f8ndergaard, H.: Boolean functions for dependency analysis: Algebraic properties and efficient representation. In: Le Charlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 266\u2013280. Springer, Heidelberg (1994)"},{"issue":"1\u20132","key":"3_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90200-3","volume":"122","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A Compositional Semantics for Logic Programs. Theoretical Computer Science\u00a0122(1\u20132), 3\u201347 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Modular logic programming. ACM Transactions on Programming Languages and Systems\u00a016(4), 1361\u20131398 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR7","unstructured":"Comini, M., Levi, G., Meo, M.C.: A theory of observables for logic programs. Information and Computation (1999) (to appear)"},{"key":"3_CR8","unstructured":"Comini, M., Levi, G., Vitiello, G.: Modular abstract diagnosis. In: International Workshop on Tools and Environments for (Constraint) Logic Programming (1997)"},{"issue":"1&2","key":"3_CR9","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0304-3975(97)00174-6","volume":"211","author":"M. Comini","year":"1999","unstructured":"Comini, M., Meo, M.C.: Compositionality properties of SLD-derivations. Theoretical Computer Science\u00a0211(1&2), 275\u2013309 (1999)","journal-title":"Theoretical Computer Science"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/LICS.1991.151656","volume-title":"Proc. Sixth IEEE Symp. on Logic In Computer Science","author":"A. Cortesi","year":"1991","unstructured":"Cortesi, A., Fil\u00e8, G., Winsborough, W.: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. In: Proc. Sixth IEEE Symp. on Logic In Computer Science, pp. 322\u2013327. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"3_CR11","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. Fourth ACM Symp. Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"issue":"2&3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming\u00a013(2&3), 103\u2013179 (1992)","journal-title":"Journal of Logic Programming"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1093\/oso\/9780198538530.003.0003","volume-title":"Advances in logic programming theory","author":"S.K. Debray","year":"1994","unstructured":"Debray, S.K.: Formal bases for dataflow analysis of logic programs. In: Levi, G. (ed.) Advances in logic programming theory, pp. 115\u2013182. Clarendon Press, Oxford (1994)"},{"key":"3_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"3_CR15","first-page":"130","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"F. Mal\u00e9sieux","year":"1998","unstructured":"Mal\u00e9sieux, F., Ridoux, O., Boizumault, P.: Abstract compilation of \u03bbProlog. In: Jaffar, J. (ed.) Joint International Conference and Symposium on Logic Programming, Manchester, United Kingdom, June 1998, pp. 130\u2013144. MIT Press, Cambridge (1998)"},{"key":"3_CR16","unstructured":"Marriott, K., Sondergaard, H.: Abstract Interpretation of Logic Programs: the Denotational Approach. In: Bossi, A. (ed.) Proc. Fifth Italian Conference on Logic Programming, pp. 399\u2013425 (1990)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Pfenning, F., Nadathur, G., Scedrov, A.: Uniform proofs as a foundation for Logic Programming. Annals of Pure and Applied Logic\u00a051, 125\u2013157 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","volume":"22","author":"B. M\u00f6ller","year":"1985","unstructured":"M\u00f6ller, B.: On the Algebraic Specification of Infinite Objects \u2013 Ordered and Cntinuous Models of Algebraic Types. Acta Informatica\u00a022, 537\u2013578 (1985)","journal-title":"Acta Informatica"},{"key":"3_CR19","unstructured":"Nadathur, G., Miller, D.: An Overview of \u03bbProlog. In: Bowen, K.A., Kowalski, R.A. (eds.) Fifth International Logic Programmiong Conference, pp. 810\u2013827. MIT Press, Cambridge (1988)"},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-61735-3_15","volume-title":"Algebraic and Logic Programming","author":"Paolo Volpe","year":"1996","unstructured":"Volpe, P.: Abstractions of uniform proofs. In: Hanus, M., Rodriguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 224\u2013237. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T03:29:36Z","timestamp":1712114976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}