Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Dominic, Orchard, Mistral, Contrastin, Matthew, Danish, Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 75. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133899) (KAR id:62274)

This list was generated on Sun May 19 22:26:07 2024 BST.