Browse by Journal

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

Jump to: D

Number of items: 1.

D

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 Thu May 9 22:59:41 2024 BST.