SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
OPEN ACCESS
Author / Producer
Date
2017-06
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Publication status
published
Editor
Book title
Journal / series
Volume
48
Pages / Article No.
68 - 88
Publisher
Elsevier
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
GPGPU; Parallel computing; Runtime code generation; Generative programming; Object-orientation; Managed languages; Design-by-contract; Program correctness
Organisational unit
03594 - Meyer, Bertrand (emeritus)
02150 - Dep. Informatik / Dep. of Computer Science