Symbolic Crosschecking of Data-Parallel Floating-Point Code.

Peter Collingbourne Cristian Cadar Paul H. J. Kelly

Published in: IEEE Trans. Software Eng. (2014)

Keyphrases

data sets
floating point
high quality
data structure
data processing
computer systems
database systems
missing values
fixed point