https://hgpu.org/?p=16464
SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages