Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java.

Published in: VMCAI (2014)

Keyphrases

data sets
open source
neural network
high level
search algorithm
application domains
programming language
data points
numeric data
java programs
data acquisition
lightweight
statistical analysis
low level
association rules
data analysis
databases