Towards Automatic Resource Bound Analysis for OCaml.

Jan Hoffmann Ankush Das Shu-Chun Weng

Published in: CoRR (2016)

Keyphrases

upper bound
image analysis
bayesian networks
quantitative analysis
database
resource allocation
statistical analysis
information technology
pattern recognition
wide range
image processing
decision making
search engine
artificial intelligence
information retrieval
machine learning
real time