Exponential Automatic Amortized Resource Analysis.

David M. Kahn Jan Hoffmann

Published in: FoSSaCS (2020)

Keyphrases

computer vision
quantitative analysis
worst case
resource allocation
structural analysis
database
databases
data analysis
management system
data driven
statistical analysis
automatic analysis