Analysis of Algorithms Programs