{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:37:14Z","timestamp":1763458634679,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,2,17]],"date-time":"2016-02-17T00:00:00Z","timestamp":1455667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CCF-1161916","DUE-1022941"],"award-info":[{"award-number":["CCF-1161916","DUE-1022941"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,2,17]]},"DOI":"10.1145\/2839509.2851069","type":"proceedings-article","created":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T08:18:49Z","timestamp":1456129129000},"page":"727-727","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Loop Invariants"],"prefix":"10.1145","author":[{"given":"Caleb H.","family":"Priester","sequence":"first","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/199691.199812"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.187.5"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"Weide B. W. The RESOLVE Software Verification Vision. In\u00a0Proceedings of the RESOLVE 2007 Workshop","author":"Odgen W. F.","year":"2007","unstructured":"Odgen W. F., Hollingsworth J. E., Krone J., Sitaraman M., Weide B. W. The RESOLVE Software Verification Vision. In\u00a0Proceedings of the RESOLVE 2007 Workshop, p. 1--3. 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/135250.134530"}],"event":{"name":"SIGCSE '16: The 47th ACM Technical Symposium on Computing Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Memphis Tennessee USA","acronym":"SIGCSE '16"},"container-title":["Proceedings of the 47th ACM Technical Symposium on Computing Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2839509.2851069","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:32:13Z","timestamp":1763458333000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2839509.2851069"}},"subtitle":["Learning to Help Teach (Abstract Only)"],"short-title":[],"issued":{"date-parts":[[2016,2,17]]},"references-count":5,"alternative-id":["10.1145\/2839509.2851069","10.1145\/2839509"],"URL":"https:\/\/doi.org\/10.1145\/2839509.2851069","relation":{},"subject":[],"published":{"date-parts":[[2016,2,17]]},"assertion":[{"value":"2016-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}