A method for computing the number of iterations in data dependent loops
scientific article; zbMATH DE number 5073626
scientific article