Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.

Sumit Gulwani George C. Necula

Published in: SAS (2004)

Keyphrases

neural network
data analysis
database
data sets
real world
artificial intelligence
statistical analysis
databases
image processing
multi agent
special case
logic programs