C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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