A Hoare Logic for GPU Kernels (Q5278201)
From MaRDI portal
scientific article; zbMATH DE number 6744585
Language | Label | Description | Also known as |
---|---|---|---|
English | A Hoare Logic for GPU Kernels |
scientific article; zbMATH DE number 6744585 |
Statements
A Hoare Logic for GPU Kernels (English)
0 references
13 July 2017
0 references
GPU
0 references
Hoare logic
0 references