Skip to main content
Kent Academic Repository

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)
Format: PDF

This list was generated on Tue Dec 24 23:15:38 2024 GMT.