SafeGPU: Contract- and library-based GPGPU for object-oriented languages
Keywords: GPGPU; Parallel computing; Runtime code generation; Generative programming; Object-orientation; Managed languages; Design-by-contract; Program correctness;