Regular Abstractions for Array Systems

Chih-Duo Hong, Anthony W. Lin. Regular Abstractions for Array Systems. Proceedings of the ACM on Programming Languages, 8(POPL):638-666, January 2024. [doi]

Abstract

Abstract is missing.