Year	2024
Authors	Chih-Duo Hong
Paper Title	Chih-Duo Hong*;Anthony Lin, 2024.01, 'Regular Abstractions for Array Systems, ' The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), IET London.(ACM, DBLP, SCOPUS, ESCI)(*為通訊作者)
Date of Publication	2024-01-01
ISI Number	114262