Sprinter: A didactic linter for structured programming

Code linters are tools for detecting improper uses of programming constructs and violations of style issues. Despite that professional linters are available for numerous languages, they are not targeted to introductory programming, given their prescriptive nature that does not take into consideratio...

ver descrição completa

Detalhes bibliográficos
Autor principal: Alfredo, F. (author)
Outros Autores: Santos, A. L. (author), Garrido, N. (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2022
Assuntos:
Texto completo:http://hdl.handle.net/10071/25962
País:Portugal
Oai:oai:repositorio.iscte-iul.pt:10071/25962
Descrição
Resumo:Code linters are tools for detecting improper uses of programming constructs and violations of style issues. Despite that professional linters are available for numerous languages, they are not targeted to introductory programming, given their prescriptive nature that does not take into consideration a didactic viewpoint of learning programming fundamentals. We present Sprinter, a didactic code linter for structured programming supporting Java whose novelty aspects are twofold: (a) providing formative feedback on code with comprehensive explanatory messages (rather then prescriptive); (b) capability of detecting some control-flow issues to a deeper extent than professional linters. We review Sprinter features against popular tools, namely IntelliJ IDEA and Sonarlint.