Verifying spatial properties of array computations

D. Orchard, M. Contrastin, M. Danish, A. Rice

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
JournalProceedings of the ACM on Programming Languages
DOIs
Publication statusPublished - 2017
Externally publishedYes

Cite this