On the correctness of GPU programs.

Published in: ISSTA (2019)

Keyphrases

provably correct
control structures
graphics hardware
real time
prolog programs
multiscale
parallel processing
control program
java programs
automatic programming
parallel implementation
operating system
programming language
data model
multi agent
high level
knowledge base
data sets