Automatic amortized resource analysis with the Quantum physicist’s method
Automatic amortized resource analysis with the Quantum physicist’s method
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 precise analyses of resources that are not monotonically consumed, like stack. This method takes its name from its two major features, worldviews and …