{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:27:46Z","timestamp":1750746466821,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T00:00:00Z","timestamp":1428883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SFB 901\/1 -2014"],"award-info":[{"award-number":["SFB 901\/1 -2014"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,13]]},"DOI":"10.1145\/2695664.2695690","type":"proceedings-article","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T19:10:09Z","timestamp":1437419409000},"page":"1729-1736","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Programs from proofs of predicated dataflow analyses"],"prefix":"10.1145","author":[{"given":"Marie-Christine","family":"Jakobs","sequence":"first","affiliation":[{"name":"University of Paderborn"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[{"name":"University of Paderborn"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1629335.1629343"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-540-69166-2_16"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/646485.759192"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-642-54862-8_25"},{"doi-asserted-by":"crossref","unstructured":"D.\n      Beyer T. A.\n      Henzinger and \n      G.\n      Th\u00e9oduloz\n  . \n  Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis\n  . In W. Damm and H. Hermanns editors CAV volume \n  4590\n   of \n  LNCS pages \n  504\n  --\n  518\n  . \n  Springer 2007\n  .   D. Beyer T. A. Henzinger and G. Th\u00e9oduloz. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. In W. Damm and H. Hermanns editors CAV volume 4590 of LNCS pages 504--518. Springer 2007.","key":"e_1_3_2_1_5_1","DOI":"10.1007\/978-3-540-73368-3_51"},{"doi-asserted-by":"crossref","unstructured":"D.\n      Beyer\n     and \n      M.\n      Keremoglu\n  . \n  CPAchecker: A Tool for Configurable Software Verification\n  . In G. Gopalakrishnan and S. Qadeer editors CAV volume \n  6806\n   of \n  LNCS pages \n  184\n  --\n  190\n  . \n  Springer 2011\n  .   D. Beyer and M. Keremoglu. CPAchecker: A Tool for Configurable Software Verification. In G. Gopalakrishnan and S. Qadeer editors CAV volume 6806 of LNCS pages 184--190. Springer 2011.","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"e_1_3_2_1_7_1","first-page":"189","volume-title":"FMCAD","author":"Beyer D.","year":"2010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/2491411.2491429"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"SSV","author":"Brauer J.","year":"2010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/876638.876643"},{"doi-asserted-by":"crossref","unstructured":"B.\n      Cook E.\n      Koskinen and \n      M.\n      Vardi\n  . \n  Temporal property verification as a program analysis task\n  . In G. Gopalakrishnan and S. Qadeer editors CAV volume \n  6806\n   of \n  LNCS pages \n  333\n  --\n  348\n  . \n  Springer 2011\n  .   B. Cook E. Koskinen and M. Vardi. Temporal property verification as a program analysis task. In G. Gopalakrishnan and S. Qadeer editors CAV volume 6806 of LNCS pages 333--348. Springer 2011.","key":"e_1_3_2_1_11_1","DOI":"10.1007\/978-3-642-22110-1_26"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/512529.512538"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/11823230_27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1081706.1081742"},{"doi-asserted-by":"crossref","unstructured":"S.\n      Graf\n     and \n      H.\n      Saidi\n  . \n  Construction of abstract state graphs with pvs\n  . In O. Grumberg editor CAV volume \n  1254\n   of \n  LNCS pages \n  72\n  --\n  83\n  . \n  Springer 1997\n  .   S. Graf and H. Saidi. Construction of abstract state graphs with pvs. In O. Grumberg editor CAV volume 1254 of LNCS pages 72--83. Springer 1997.","key":"e_1_3_2_1_15_1","DOI":"10.1007\/3-540-63166-6_10"},{"doi-asserted-by":"crossref","unstructured":"M.\n      Handjieva\n     and \n      S.\n      Tzolovski\n  . \n  Refining static analyses by trace-based partitioning using control flow\n  . In G. Levi editor SAS volume \n  1503\n   of \n  LNCS pages \n  200\n  --\n  214\n  . \n  Springer 1998\n  .  M. Handjieva and S. Tzolovski. Refining static analyses by trace-based partitioning using control flow. In G. Levi editor SAS volume 1503 of LNCS pages 200--214. Springer 1998.","key":"e_1_3_2_1_16_1","DOI":"10.1007\/3-540-49727-7_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/964001.964021"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/2632362.2632372"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1321631.1321691"},{"doi-asserted-by":"crossref","unstructured":"G.\n      Necula S.\n      McPeak S.\n      Rahul and \n      W.\n      Weimer\n  . \n  CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs\n  . In R. Horspool editor CC volume \n  2304\n   of \n  LNCS pages \n  213\n  --\n  228\n  . \n  Springer 2002\n  .   G. Necula S. McPeak S. Rahul and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In R. Horspool editor CC volume 2304 of LNCS pages 213--228. Springer 2002.","key":"e_1_3_2_1_20_1","DOI":"10.1007\/3-540-45937-5_16"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/263699.263712"},{"volume-title":"Principles of Program Analysis","year":"2004","author":"Nielson F.","key":"e_1_3_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1275497.1275501"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/11823230_2"},{"doi-asserted-by":"crossref","unstructured":"D.\n      Wonisch A.\n      Schremmer and \n      H.\n      Wehrheim\n  . \n  Programs from Proofs -- A PCC Alternative\n  . In N. Sharygina and H. Veith editors CAV volume \n  8044\n   of \n  LNCS pages \n  912\n  --\n  927\n  . \n  Springer 2013\n  .  D. Wonisch A. Schremmer and H. Wehrheim. Programs from Proofs -- A PCC Alternative. In N. Sharygina and H. Veith editors CAV volume 8044 of LNCS pages 912--927. Springer 2013.","key":"e_1_3_2_1_25_1","DOI":"10.1007\/978-3-642-39799-8_65"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/978-3-642-34281-3_24"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC 2015","name":"SAC 2015: Symposium on Applied Computing","location":"Salamanca Spain"},"container-title":["Proceedings of the 30th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695690","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2695664.2695690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:21Z","timestamp":1750227141000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695690"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,13]]},"references-count":26,"alternative-id":["10.1145\/2695664.2695690","10.1145\/2695664"],"URL":"https:\/\/doi.org\/10.1145\/2695664.2695690","relation":{},"subject":[],"published":{"date-parts":[[2015,4,13]]},"assertion":[{"value":"2015-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}