Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani Rahul Sharma Lazaro Clapp Saswat Anand Alex Aiken

Published in: ECOOP (2019)

Keyphrases

data analysis
quantitative analysis
database
neural network
machine learning
genetic algorithm
information systems
metadata
image processing
search algorithm
image analysis
nearest neighbor
software engineering
statistical analysis
sample points