Browse by Journal

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

Jump to: 2017

Number of items: 1.

2017

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 Tue Dec 24 23:15:38 2024 GMT.