Quantitative Interprocedural Analysis.

Krishnendu Chatterjee Andreas Pavlogiannis Yaron Velner

Published in: POPL (2015)

Keyphrases

statistical analysis
database
machine learning
search engine
feature selection
wide range
pattern recognition
digital libraries
mobile devices
evolutionary algorithm
software engineering
automatic analysis