{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:55:24Z","timestamp":1730213724251,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T00:00:00Z","timestamp":1699920000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T00:00:00Z","timestamp":1699920000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,14]]},"DOI":"10.1109\/dasc\/picom\/cbdcom\/cy59711.2023.10361437","type":"proceedings-article","created":{"date-parts":[[2023,12,25]],"date-time":"2023-12-25T19:38:38Z","timestamp":1703533118000},"page":"1115-1121","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Type Misuse Detection and Analysis for Python-Based Edge Device Applications"],"prefix":"10.1109","author":[{"given":"Mingcheng","family":"Liu","sequence":"first","affiliation":[{"name":"Nanjing University of Science and Technology,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhifei","family":"Chen","sequence":"additional","affiliation":[{"name":"Nanjing University of Science and Technology,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/NIGERCON.2017.8281938"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2000654"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11020173"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2683200"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.149"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3387904.3389253"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_2"},{"key":"ref9","first-page":"1","article-title":"Towards a static type checker for python","volume-title":"European Conference on Object-Oriented Programming (ECOOP), Scripts to Programs Workshop, STOP","volume":"15","author":"Ortin","year":"2015"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194022500243"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2019.2920341"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2022.3184519"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24265-7_14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68690-5_12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-18872-5_17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3439775"},{"journal-title":"Generalizing Hindley-Milner type inference algorithms","year":"2002","author":"Heeren","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2017.2911430"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC47284.2019.8969736"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1160074.1159811"}],"event":{"name":"2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC\/PiCom\/CBDCom\/CyberSciTech)","start":{"date-parts":[[2023,11,14]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2023,11,17]]}},"container-title":["2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC\/PiCom\/CBDCom\/CyberSciTech)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10361260\/10360496\/10361437.pdf?arnumber=10361437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T20:45:03Z","timestamp":1705092303000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10361437\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,14]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dasc\/picom\/cbdcom\/cy59711.2023.10361437","relation":{},"subject":[],"published":{"date-parts":[[2023,11,14]]}}}