Towards automatic resource bound analysis for OCaml.

Jan Hoffmann Ankush Das Shu-Chun Weng

Published in: POPL (2017)

Keyphrases

lower bound
automatic analysis
quantitative analysis
data mining
worst case
upper bound
three dimensional
metadata
information systems
computer vision
search algorithm
data analysis
e learning
artificial neural networks
resource allocation
learning algorithm
databases