Sprinter: A Didactic Linter for Structured Programming. - Francisco Alfredo; André L. Santos 001; Nuno Garrido (ICPEC, 2022)