%0 Journal Article %A Dániel Kolozsvári %A Norbert Pataki %T A static analysis approach for modern iterator development %J Annales mathematicae et informaticae %D 2023 %P 37-53 %V 59 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.006/ %R 10.33039/ami.2023.08.006 %G en %F AMI_2023_59_a3