Il présente Merge Sort, un algorithme de division et de conquête pour un tri efficace des tableaux, la discussion de l'exactitude, l'analyse de l'exécution, la fusion en temps linéaire et les techniques de résolution des récurrences.
Explore l'analyse de flux de données pour l'optimisation, y compris la résolution d'équations, les variables en direct, l'atteinte de définitions et les expressions très occupées.