Improving static analyses of C programs with conditional predicates.

Sandrine Blazy David Bühler Boris Yakobowski

Published in: Sci. Comput. Program. (2016)

Keyphrases

neural network
user defined
stable models
random field model
search engine
social networks
data structure
computer programs
function symbols