{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:56Z","timestamp":1751983676928},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_41","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:50Z","timestamp":1330202030000},"page":"68-82","source":"Crossref","is-referenced-by-count":9,"title":["Towards a framework for the abstract interpretation of logic programs"],"prefix":"10.1007","author":[{"given":"Ulf","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"5_CR1","unstructured":"S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987."},{"key":"5_CR2","unstructured":"K. Apt. Introduction to Logic Programming. Report TR-87-35, Dept. of Computer Science, The University of Texas at Austin, 1987. Revised and Extended Version in 1988."},{"key":"5_CR3","volume-title":"A Framework for the Abstract Interpretation of Logic Programs. Report CW62","author":"M. Bruynooghe","year":"1987","unstructured":"M. Bruynooghe. A Framework for the Abstract Interpretation of Logic Programs. Report CW62, Katholieke Universiteit, Leuven, 1987."},{"key":"5_CR4","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. of POPL, Los Angeles, 1977.","DOI":"10.1145\/512950.512973"},{"key":"5_CR5","unstructured":"W. Drabent and J. Ma\u0142uszy\u0144ski. Proving runtime properties of logic programs. In Proc. of TAPSOFT'87, Pisa, LNCS 250, Springer-Verlag, 1987."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"S. Debray and D.S. Warren. Automatic mode inference for logic programs. J. Logic Programming, 5(3), 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"5_CR7","unstructured":"N.D. Jones and H. S\u00f8ndergaard. A semantics-based framework for the abstract interpretation of prolog. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987."},{"key":"5_CR8","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"S.C. Kleene. Introduction to Metamathematics. North-Holland Publ. Co, Amsterdam-New York, 1952."},{"key":"5_CR9","volume-title":"Logic For Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"R. Kowalski. Logic For Problem Solving. Elsevier, North-Holland, New York, 1979."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"C. Mellish. Abstract interpretation of prolog programs. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"5_CR12","volume-title":"Proc. of 5th International Conf\/Symp. on Logic Programming","author":"K. Marriott","year":"1988","unstructured":"K. Marriott and H. S\u00f8ndergaard. Bottom-up abstract interpretation of logic programs. In Proc. of 5th International Conf\/Symp. on Logic Programming, Seattle, MIT Press, 1988."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific J. Math, 5, 1955.","DOI":"10.2140\/pjm.1955.5.285"}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:52Z","timestamp":1605647932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}