“…Beyond AARA there exists many other approaches to automatic worst-case resource bound analysis for deterministic programs. They are based on sized types [89], linear dependent types [68,69], refinement types [29,92], annotated type systems [31,32], defunctionalization [7], recurrence relations [3,4,13,33,38,46,66], abstract interpretation [14,22,47,87,91], template based assume-guarantee reasoning [71], measure functions [27], and techniques from term rewriting [8,17,39,82]. These techniques do not apply to probabilistic programs and do not derive bounds on expected resource usage.…”