Automatic Amortized Resource Analysis with the Quantum Physicist's Method

David M Kahn, Jan Hoffmann

We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more prec…