Indexed Labels for Loop Iteration Dependent Costs

Paolo Tranquilli

We present an extension to the labelling approach, a technique for lifting resource consumption information from compiled to source code. This approach, which is at the core of the…