年度	2024
全部作者	洪智鐸
論文名稱	Chih-Duo Hong*;Anthony Lin, 2024.01, 'Regular Abstractions for Array Systems, ' Proceedings of the ACM on Programming Languages (PACMPL), Vol.8, No.22, pp.638-666.(ACM, ESCI)(*為通訊作者)
卷數	114253
發表日期	2024-01-01
參考連結	https://nccur.lib.nccu.edu.tw/handle/140.119/150568