{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:41Z","timestamp":1775873561884,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T00:00:00Z","timestamp":1389139200000},"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,1,8]]},"DOI":"10.1145\/2535838.2535870","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T08:40:06Z","timestamp":1389688806000},"page":"569-581","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Toward general diagnosis of static errors"],"prefix":"10.1145","author":[{"given":"Danfeng","family":"Zhang","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,1,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00007-6"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.22"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604140"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539798337716"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_2_7_1","volume-title":"Diagnosis of ill-typed programs. Technical report","author":"Choppella V.","year":"1995","unstructured":"V. Choppella and C. T. Haynes . Diagnosis of ill-typed programs. Technical report , Indiana University , December 1995 . V. Choppella and C. T. Haynes. Diagnosis of ill-typed programs. Technical report, Indiana University, December 1995."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_2_2_11_1","unstructured":"EasyOCaml. http:\/\/easyocaml.forge.ocamlcore.org.  EasyOCaml. http:\/\/easyocaml.forge.ocamlcore.org."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186635"},{"key":"e_1_3_2_2_13_1","volume-title":"Bayesian Data Analysis","author":"Gelman A.","year":"2004","unstructured":"A. Gelman , J. B. Carlin , H. S. Stern , and D. B. Rubin . Bayesian Data Analysis . Chapman & Hall\/CRC , 2 nd edition, 2004 . A. Gelman, J. B. Carlin, H. S. Stern, and D. B. Rubin. Bayesian Data Analysis. Chapman & Hall\/CRC, 2nd edition, 2004.","edition":"2"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.004"},{"issue":"2","key":"e_1_3_2_2_15_1","first-page":"100","article-title":"A formal basis for the heuristic determination of minimum cost paths. Systems Science and Cybernetics","volume":"4","author":"Hart P.","year":"1968","unstructured":"P. Hart , N. Nilsson , and B. Raphael . A formal basis for the heuristic determination of minimum cost paths. Systems Science and Cybernetics , IEEE Transactions on , 4 ( 2 ): 100 -- 107 , 1968 . P. Hart, N. Nilsson, and B. Raphael. A formal basis for the heuristic determination of minimum cost paths. Systems Science and Cybernetics, IEEE Transactions on, 4(2):100--107, 1968.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512649"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453135"},{"key":"e_1_3_2_2_20_1","first-page":"161","volume-title":"OSDI'06","author":"Kremenek T.","year":"2006","unstructured":"T. Kremenek , P. Twohey , G. Back , A. Ng , and D. Engler . From uncertainty to belief: inferring the specification within . In OSDI'06 , pp. 161 -- 176 , 2006 . T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: inferring the specification within. In OSDI'06, pp. 161--176, 2006."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250783"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542485"},{"key":"e_1_3_2_2_25_1","first-page":"139","volume-title":"Implementation of Functional Languages","author":"McAdam B. J.","year":"1998","unstructured":"B. J. McAdam . On the unification of substitutions in type inference . In Implementation of Functional Languages , pp. 139 -- 154 , 1998 . B. J. McAdam. On the unification of substitutions in type inference. In Implementation of Functional Languages, pp. 139--154, 1998."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00049-9"},{"key":"e_1_3_2_2_28_1","volume-title":"The Definition of Standard ML","author":"Milner R.","year":"1990","unstructured":"R. Milner , M. Tofte , and R. Harper . The Definition of Standard ML . MIT Press , Cambridge, MA , 1990 . R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"e_1_3_2_2_30_1","volume-title":"July","author":"Myers A. C.","year":"2006","unstructured":"A. C. Myers , L. Zheng , S. Zdancewic , S. Chong , and N. Nystrom . Jif 3.0: Java information flow. Software release, www.cs.cornell.edu\/jif , July 2006 . A. C. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom. Jif 3.0: Java information flow. Software release, www.cs.cornell.edu\/jif, July 2006."},{"key":"e_1_3_2_2_31_1","unstructured":"OCaml programming language. http:\/\/ocaml.org.  OCaml programming language. http:\/\/ocaml.org."},{"key":"e_1_3_2_2_33_1","volume-title":"Information and Software Technology, 40(11--12):701--726","author":"Reps T.","year":"1998","unstructured":"T. Reps . Program analysis via graph reachability. Information and Software Technology, 40(11--12):701--726 , 1998 . T. Reps. Program analysis via graph reachability. Information and Software Technology, 40(11--12):701--726, 1998."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366379"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512648"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1987-10202"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426894"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143983"}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Diego California USA","acronym":"POPL '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535870","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2535838.2535870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:06Z","timestamp":1750219806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535870"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,8]]},"references-count":34,"alternative-id":["10.1145\/2535838.2535870","10.1145\/2535838"],"URL":"https:\/\/doi.org\/10.1145\/2535838.2535870","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2578855.2535870","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,1,8]]},"assertion":[{"value":"2014-01-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}