3 citations · 3 across the 1 of their papers we have counts for
1 paper
Amir M. Ben-Amram, Aviad Pineles
We present a new method for inferring complexity properties for a class of programs in the form of flowcharts annotated with loop information. Specifically, our method can (soundly…