@inproceedings{Kolesnichenko-PNM15a, author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz and Bertrand Meyer}, title = {Contract-Based General-Purpose {GPU} Programming}, year = {2015}, booktitle = {Proc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015)}, pages = {75-84}, publisher = {ACM}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Kolesnichenko-PNM.GPCE.2015.pdf}, }