{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:04Z","timestamp":1750306384443,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T00:00:00Z","timestamp":1436832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1446511"],"award-info":[{"award-number":["CNS-1446511"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,14]]},"DOI":"10.1145\/2790449.2790451","type":"proceedings-article","created":{"date-parts":[[2015,6,29]],"date-time":"2015-06-29T18:10:47Z","timestamp":1435601447000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Verification by abstract interpretation, soundness and abstract induction"],"prefix":"10.1145","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[{"name":"New York University"}]}],"member":"320","published-online":{"date-parts":[[2015,7,14]]},"reference":[{"volume-title":"Information technology---Programming languages---C++. ISO. (14","year":"2014","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0161-5"},{"key":"e_1_3_2_1_3_1","first-page":"385","volume-title":"IFIP Congress (1).","author":"Allen F.E.","year":"1971"},{"first-page":"57","volume-title":"Scozzari","author":"Amato G.","key":"e_1_3_2_1_4_1"},{"volume-title":"Vojdani","year":"2015","author":"Amato G.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143191"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647529"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2013.30"},{"key":"e_1_3_2_1_10_1","first-page":"336","volume-title":"W\u00fcstholz","author":"Christakis M.","year":"2015"},{"key":"e_1_3_2_1_11_1","first-page":"52","volume-title":"Emerson","author":"Clarke E.M.","year":"1981"},{"key":"e_1_3_2_1_12_1","first-page":"154","volume-title":"Veith","author":"Clarke E.M.","year":"2000"},{"volume-title":"M\u00e9thodes it\u00e9ratives de construction et d'approximation de points fixes d'op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique de programmes (in French). Th\u00e8se d'\u00c9tat \u00e8s sciences math\u00e9matiques","year":"1978","author":"Cousot P.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Partial completeness of abstract fixpoint checking","author":"Cousot P.","year":"2000"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_1"},{"key":"e_1_3_2_1_17_1","first-page":"106","volume-title":"Proc. Secont Int. Symp. on Programming.","author":"Cousot P.","year":"1976"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_20_1","first-page":"243","volume-title":"Cousot","author":"Cousot P.","year":"1984"},{"key":"e_1_3_2_1_21_1","first-page":"269","volume-title":"Cousot","author":"Cousot P.","year":"1992"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603165"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.55"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2395116.2395120"},{"key":"e_1_3_2_1_26_1","first-page":"333","volume-title":"Raskin","author":"Cousot P.","year":"2007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_28_1","first-page":"7","volume-title":"FMCAD 2014","author":"Deters M.","year":"2014"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/355604.361591"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535868"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677012"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_4"},{"key":"e_1_3_2_1_33_1","first-page":"19","volume-title":"Symposium in Applied Mathematics","volume":"19","author":"Floyd R.","year":"1967"},{"key":"e_1_3_2_1_34_1","first-page":"356","volume-title":"Quintarelli","author":"Giacobazzi R.","year":"2001"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333989"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_10"},{"key":"e_1_3_2_1_37_1","first-page":"72","volume-title":"Sa\u00efdi","author":"Graf S.","year":"1997"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000071"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676966"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/359461.359466"},{"key":"e_1_3_2_1_42_1","first-page":"5","volume-title":"Moore","author":"Kaufmann M.","year":"2013"},{"first-page":"325","volume-title":"Bj\u00f8rner and de Boer {8}","author":"Kroening D.","key":"e_1_3_2_1_43_1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_45_1","first-page":"3","volume-title":"W\u00fcstholz","author":"Leino K.R.M.","year":"2014"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2534188"},{"volume-title":"Tofte","year":"1991","author":"Milner R.","key":"e_1_3_2_1_47_1"},{"volume-title":"Harper","year":"1990","author":"Milner R.","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54013-4_3"},{"key":"e_1_3_2_1_51_1","first-page":"45","volume-title":"Tools for Practical Software Verification, LASER, International Summer School","author":"Paulin-Mohring C.","year":"2011"},{"journal-title":"J. Log. Algebr. Program. 60--61, 3--15 (","year":"2004","author":"Plotkin G.D.","key":"e_1_3_2_1_52_1"},{"key":"e_1_3_2_1_53_1","first-page":"337","volume-title":"Sifakis","author":"Queille J.","year":"1982"},{"volume-title":"POPL 2015","year":"2015","author":"Rajamani S.K.","key":"e_1_3_2_1_54_1"},{"key":"e_1_3_2_1_55_1","first-page":"669","volume-title":"Engler","author":"Ramos D.A.","year":"2011"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/647348.724452"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_1"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699678"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.2307\/2118559"}],"event":{"name":"PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Siena Italy","acronym":"PPDP '15"},"container-title":["Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2790449.2790451","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2790449.2790451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:06Z","timestamp":1750223226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2790449.2790451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,14]]},"references-count":59,"alternative-id":["10.1145\/2790449.2790451","10.1145\/2790449"],"URL":"https:\/\/doi.org\/10.1145\/2790449.2790451","relation":{},"subject":[],"published":{"date-parts":[[2015,7,14]]},"assertion":[{"value":"2015-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}