{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:29Z","timestamp":1750220309110,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1910264"],"award-info":[{"award-number":["1910264"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,17]]},"DOI":"10.1145\/3484271.3484978","type":"proceedings-article","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T00:09:44Z","timestamp":1634342984000},"page":"22-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Edgeworth: authoring diagrammatic math problems using program mutation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3746-4808","authenticated-orcid":false,"given":"Hwei-Shin","family":"Harriman","sequence":"first","affiliation":[{"name":"Olin College of Engineering, USA \/ Carnegie Mellon University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Wattis","author":"Burger Edward B.","year":"2007","unstructured":"Edward B. Burger , David J. Chard , Earlene J. Hall , Paul A. Kennedy , Steven J. Leinwand , Freddie L. Renfro , Dale G. Seymour , and Bert K . Wattis . 2007 . Holt geometry. Holt, Rinehart and Winston . Edward B. Burger, David J. Chard, Earlene J. Hall, Paul A. Kennedy, Steven J. Leinwand, Freddie L. Renfro, Dale G. Seymour, and Bert K. Wattis. 2007. Holt geometry. Holt, Rinehart and Winston."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330559"},{"volume-title":"25 Learning principles to guide pedagogy and the design of learning environments","author":"Halpern DF","key":"e_1_3_2_1_3_1","unstructured":"DF Halpern , A Graesser , and M Hakel . 2007. 25 Learning principles to guide pedagogy and the design of learning environments . In Association of Psychological Science Taskforce on Lifelong Learning at Work and at Home. DF Halpern, A Graesser, and M Hakel. 2007. 25 Learning principles to guide pedagogy and the design of learning environments. In Association of Psychological Science Taskforce on Lifelong Learning at Work and at Home."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134425"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376253"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2371458"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595750"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.31"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392375"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484271.3484978","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3484271.3484978","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484271.3484978","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484271.3484978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:41Z","timestamp":1750191101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484271.3484978"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":10,"alternative-id":["10.1145\/3484271.3484978","10.1145\/3484271"],"URL":"https:\/\/doi.org\/10.1145\/3484271.3484978","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}