Original language | English |
---|---|
Journal | Proceedings of the ACM on Programming Languages |
DOIs | |
Publication status | Published - 2017 |
Externally published | Yes |
Verifying spatial properties of array computations
D. Orchard, M. Contrastin, M. Danish, A. Rice
Research output: Contribution to journal › Article › Academic › peer-review