{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:18:53Z","timestamp":1725484733034},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/cit.2010.407","type":"proceedings-article","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T17:00:03Z","timestamp":1285002003000},"page":"2367-2372","source":"Crossref","is-referenced-by-count":0,"title":["Integer Promotion Elimination on Abstract Syntax Tree"],"prefix":"10.1109","author":[{"given":"Qing'an","family":"Li","sequence":"first","affiliation":[]},{"given":"Yanxiang","family":"He","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Bitwidth Analysis with Application to Silicon Compilation","author":"stephenson","year":"2000","journal-title":"Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46423-9_12"},{"key":"ref10","article-title":"Compilers: principles, techniques and tools","author":"aho","year":"2007","journal-title":"Addison Wesley[M]"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231133"},{"article-title":"Bit-Width Analysis for General Applications","year":"2005","author":"ding","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27864-1_12","article-title":"Pointer-Range Analysis","author":"hsi yong","year":"2004","journal-title":"Static Analysis Symposium\/Workshop on Static Analysis"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1057387.1057388"},{"year":"0","key":"ref2"},{"journal-title":"ACM Transactions on Programming Languages and Systems","article-title":"Efficient and effective array bound checking","year":"2005","key":"ref9"},{"journal-title":"C A Reference Manual (Fifth Edition)","year":"0","author":"samuel","key":"ref1"}],"event":{"name":"2010 IEEE 10th International Conference on Computer and Information Technology (CIT)","start":{"date-parts":[[2010,6,29]]},"location":"Bradford, United Kingdom","end":{"date-parts":[[2010,7,1]]}},"container-title":["2010 10th IEEE International Conference on Computer and Information Technology"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5575291\/5577816\/05578303.pdf?arnumber=5578303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T10:16:32Z","timestamp":1497867392000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5578303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":10,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/cit.2010.407","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}