{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:10Z","timestamp":1750308550064,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,11]]},"DOI":"10.1145\/2635868.2635884","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"133-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A path-sensitively sliced control flow graph"],"prefix":"10.1145","author":[{"given":"Joxan","family":"Jaffar","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"given":"Vijayaraghavan","family":"Murali","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Frama-C Software Analyzers. http:\/\/frama-c.com\/.  Frama-C Software Analyzers. http:\/\/frama-c.com\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_16"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_43"},{"key":"e_1_3_2_1_5_1","volume-title":"CAV","author":"Beyer D.","year":"2011","unstructured":"D. Beyer and M. E. Keremoglu . CPAchecker: A Tool for Configurable Software Verification . In CAV , 2011 . D. Beyer and M. E. Keremoglu. CPAchecker: A Tool for Configurable Software Verification. In CAV, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792770"},{"key":"e_1_3_2_1_7_1","first-page":"22","author":"Craig W.","year":"1955","unstructured":"W. Craig . Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Computation , 22 , 1955 . W. Craig. Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Computation, 22, 1955.","journal-title":"Journal of Symbolic Computation"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"e_1_3_2_1_9_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976","unstructured":"E. W. Dijkstra . A Discipline of Programming . Prentice-Hall Series in Automatic Computation. Prentice-Hall , 1976 . E. W. Dijkstra. A Discipline of Programming. Prentice-Hall Series in Automatic Computation. Prentice-Hall, 1976."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/523511.837885"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026599015809"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491425"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_17"},{"key":"e_1_3_2_1_16_1","unstructured":"J. Jaffar A. E. Santosa and R. Voicu. An Interpolation Method for CLP Traversal. In CP 09.   J. Jaffar A. E. Santosa and R. Voicu. An Interpolation Method for CLP Traversal. In CP 09."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065016"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254088"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_10"},{"key":"e_1_3_2_1_21_1","unstructured":"A. Podelski and A. Rybalchenko. ARMC. In PADL\u201907.  A. Podelski and A. Rybalchenko. ARMC. In PADL\u201907."},{"key":"e_1_3_2_1_22_1","first-page":"09","author":"Rugina R.","year":"2007","unstructured":"R. Rugina , M. Orlovich , and X. Zheng . Crystal: A Program Analysis System for C. http:\/\/www.cs.cornell.edu\/projects\/crystal , 2007 . {Online; accessed 09 -July-2011}. R. Rugina, M. Orlovich, and X. Zheng. Crystal: A Program Analysis System for C. http:\/\/www.cs.cornell.edu\/projects\/crystal, 2007. {Online; accessed 09-July-2011}.","journal-title":"Crystal: A Program Analysis System for C. http:\/\/www.cs.cornell.edu\/projects\/crystal"},{"key":"e_1_3_2_1_23_1","first-page":"449","volume-title":"ICSE \u201981","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program Slicing . In ICSE \u201981 , pages 439\u2013 449 , 1981 . M. Weiser. Program Slicing. In ICSE \u201981, pages 439\u2013449, 1981."}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635884","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2635884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:44Z","timestamp":1750273424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":23,"alternative-id":["10.1145\/2635868.2635884","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2635884","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}