Automatic Amortized Resource Analysis with Regular Recursive Types.

Jessie Grosen David M. Kahn Jan Hoffmann

Published in: LICS (2023)

Keyphrases

statistical analysis
real world
data mining
website
image analysis
worst case
quantitative analysis
automatic analysis
multi agent systems
management system