Understanding integer overflow in C/C++.

Will Dietz Peng Li John Regehr Vikram S. Adve

Published in: ICSE (2012)

Keyphrases

data sets
databases
preprocessing
real time
web pages
multiscale
learning environment
relational databases
multiresolution
np hard
deeper understanding
minimum cost flow