A framework for numeric analysis of array operations.

Denis Gopan Thomas W. Reps Shmuel Sagiv

Published in: POPL (2005)

Keyphrases

main contribution
real time
machine learning
data analysis
analysis tool
artificial intelligence
statistical analysis
database
artificial neural networks
theoretical framework