檔案轉址

考量著作權之合理使用及重製權，本系統中部分文件僅供系統中之全文搜尋及索引使用。

您將被導引至一外部網站(即典藏原文的原網站)，請連結至該處檢視全文是否開放存取。

網頁將於2秒後轉址到外部網站:

https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/24/Regular-Abstractions-for-Array-Systems