SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
StreamIt: A Language for Streaming Applications