Solving shape-analysis problems in languages with destructive updating
Distribution of the number of citations over years.