Efficient Cost Bounds with Linear Maps

David M Kahn, Jan Hoffmann, Thomas Reps +1

The Automatic Amortized Resource Analysis (AARA) derives program-execution cost bounds using types. To do so, AARA often makes use of cost-free types, which are critical for the co…