Demand-driven interprocedural analysis for map-based abstract domains.

Kalmer Apinis Varmo Vene Vesal Vojdani

Published in: J. Log. Algebraic Methods Program. (2018)

Keyphrases

decision trees
demand driven
machine learning
application domains
data analysis
neural network
image analysis
statistical analysis
quantitative analysis
real time
real world
transfer learning
data acquisition