Algorithmic analysis of array-accessing programs.

Rajeev Alur Pavol Cerný Scott Weinstein

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

statistical analysis
feature selection
artificial neural networks
data mining
website
high level
database systems
expert systems
static analysis