年度	2024
全部作者	洪智铎
论文名称	Chih-Duo Hong*;Anthony Lin, 2024.01, 'Regular Abstractions for Array Systems, ' The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), ACM.(ACM)(*为通讯作者)
参考连结	https://nccur.lib.nccu.edu.tw/handle/140.119/150568
发表日期	2024-01-01
ISI Number	114262