On automatically proving the correctness of math.h implementations.

Wonyeol Lee Rahul Sharma Alex Aiken

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

data sets
real world
automatically generated
real time
preprocessing
decision making
database systems
multi agent
search algorithm
natural language
computational complexity
relational databases
multiresolution
data model
medical images