Towards verified construction of correct and optimised GPU software.

Marieke Huisman, Anton Wijs

Browse the full ECOOP paper archive.