{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:15Z","timestamp":1725506835931},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-1-4020-8157-6_27","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T12:54:40Z","timestamp":1207572880000},"page":"359-366","source":"Crossref","is-referenced-by-count":32,"title":["Basic Concepts of Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[]},{"given":"Radhia","family":"Cousot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., and Rival, X. (2003). A static analyzer for large safety-critical software. PLDI\u20192003, 196\u2013207, ACM.","DOI":"10.1145\/781131.781153"},{"key":"27_CR2","unstructured":"Cousot, P. (1978). M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de points fixes d\u2019op\u00e9-rateurs monotones sur un treillis, analyse s\u00e9mantique de programmes. Th\u00e8se d\u2019\u00c9tat \u00e8s sciences math\u00e9matiques, Grenoble University, 21 March 1978."},{"key":"27_CR3","unstructured":"Cousot, P. (1981). Semantic foundations of program analysis. In Muchnick, S.S. and Jones, N.D., editors, Program Flow Analysis: Theory and Applications, ch. 10, 303\u2013342. Prentice-Hall."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P. (1997). Types as abstract interpretations. 24th POPL, 316\u2013331, ACM.","DOI":"10.1145\/263699.263744"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P. (2000a). Abstract interpretation based formal methods and future challenges. \u00ab Informatics \u2014 10 Years Back, 10 Years Ahead \u00bb, LNCS 2000, 138\u2013156, Springer.","DOI":"10.1007\/3-540-44577-3_10"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P. (2000b). Partial completeness of abstract fixpoint checking. SARA\u2019 2000, LNAI 1864, 1\u201325, Springer.","DOI":"10.1007\/3-540-44914-0_1"},{"issue":"1\u20132","key":"27_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"Cousot, P. (2002). Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoret. Comput. Sci., 277(1\u20132):47\u2013103.","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4th POPL, 238\u2013252, ACM.","DOI":"10.1145\/512950.512973"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. (1979). Systematic design of program analysis frameworks. 6th POPL, 269\u2013282, ACM.","DOI":"10.1145\/567752.567778"},{"issue":"4","key":"27_CR10","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P. and Cousot, R. (1992a). Abstract interpretation frameworks. J. Logic and Comp., 2(4):511\u2013547.","journal-title":"J. Logic and Comp."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. (1992b). Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. PLILP\u2019 92, LNCS 631, 269\u2013295, Springer.","DOI":"10.1007\/3-540-55844-6_142"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:04:14Z","timestamp":1558361054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081569","9781402081576"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_27","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}