{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:37Z","timestamp":1750219957250,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T00:00:00Z","timestamp":1690502400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the Undergraduate Teaching Reform Research Project in Higher Education of Shandong Province","award":["No. M2020065"],"award-info":[{"award-number":["No. M2020065"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,28]]},"DOI":"10.1145\/3603165.3607415","type":"proceedings-article","created":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T22:17:14Z","timestamp":1695680234000},"page":"94-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1564-8980","authenticated-orcid":false,"given":"Haipeng","family":"Qu","sequence":"first","affiliation":[{"name":"Ocean University of China, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6868-1011","authenticated-orcid":false,"given":"Yaojun","family":"Hou","sequence":"additional","affiliation":[{"name":"Ocean University of China, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3618-8357","authenticated-orcid":false,"given":"Rongqian","family":"Zhou","sequence":"additional","affiliation":[{"name":"Ocean University of China, China"}]}],"member":"320","published-online":{"date-parts":[[2023,9,25]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/960118.808387"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1093\/comjnl\/32.2.98"},{"doi-asserted-by":"crossref","unstructured":"Shafi Goldwasser Silvio Micali and Charles Rackoff. 1985. The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract). In STOC. 291\u2013 304.  Shafi Goldwasser Silvio Micali and Charles Rackoff. 1985. The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract). In STOC. 291\u2013 304.","key":"e_1_3_2_1_3_1","DOI":"10.1145\/22145.22178"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1093\/nsr\/nwv042"}],"event":{"acronym":"ACM TURC '23","name":"ACM TURC '23: ACM Turing Award Celebration Conference 2023","location":"Wuhan China"},"container-title":["Proceedings of the ACM Turing Award Celebration Conference - China 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603165.3607415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603165.3607415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:07Z","timestamp":1750182547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603165.3607415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,28]]},"references-count":4,"alternative-id":["10.1145\/3603165.3607415","10.1145\/3603165"],"URL":"https:\/\/doi.org\/10.1145\/3603165.3607415","relation":{},"subject":[],"published":{"date-parts":[[2023,7,28]]},"assertion":[{"value":"2023-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}