Work

This work is licensed under the Creative Commons Attribution License. Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Type: preprint

Authors: F. Cassez, R. Huuck, G. Klein, B. Schlich (eds, Chris Hathhorn, Michela Becchi, William L. Harrison, Adam Procter

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7100634552

Cites:

Cited by:

Related to: 10