{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:52Z","timestamp":1750220632210,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[[2020,11,15]]},"DOI":"10.1145\/3426430.3428137","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:41:54Z","timestamp":1606243314000},"page":"31-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Design and implementation of a gradual verifier"],"prefix":"10.1145","author":[{"given":"Mona","family":"Zhang","sequence":"first","affiliation":[{"name":"Columbia University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob","family":"Gorenburg","sequence":"additional","affiliation":[{"name":"Haverford College, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Gradual Program Verification. In International Conference on Verification, Model Checking, and Abstract Interpretation. Springer, 25-46","author":"Bader Johannes","year":"2018","unstructured":"Johannes Bader , Jonathan Aldrich , and \u00c9ric Tanter . 2018 . Gradual Program Verification. In International Conference on Verification, Model Checking, and Abstract Interpretation. Springer, 25-46 . Johannes Bader, Jonathan Aldrich, and \u00c9ric Tanter. 2018. Gradual Program Verification. In International Conference on Verification, Model Checking, and Abstract Interpretation. Springer, 25-46."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Charles Antony Richard Hoare. 1969. An axiomatic basis for computer programming. Commun. ACM 12 ( 1969 ) 576-580.  Charles Antony Richard Hoare. 1969. An axiomatic basis for computer programming. Commun. ACM 12 ( 1969 ) 576-580.","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Jenna Wise Johannes Bader Cameron Wong Jonathan Aldrich \u00c9ric Tanter and Joshua Sunshine. 2020. Gradual Verification of Recursive Heap Data Structures. Conditionally accepted to appear in Proceedings of the ACM on Programming Languages (OOPSLA).  Jenna Wise Johannes Bader Cameron Wong Jonathan Aldrich \u00c9ric Tanter and Joshua Sunshine. 2020. Gradual Verification of Recursive Heap Data Structures. Conditionally accepted to appear in Proceedings of the ACM on Programming Languages (OOPSLA).","DOI":"10.1145\/3428296"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426430.3428137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:45Z","timestamp":1750197705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":5,"alternative-id":["10.1145\/3426430.3428137","10.1145\/3426430"],"URL":"https:\/\/doi.org\/10.1145\/3426430.3428137","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}