License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICPEC.2022.2
URN: urn:nbn:de:0030-drops-166063
Go to the corresponding OASIcs Volume Portal

Alfredo, Francisco ; Santos, André L. ; Garrido, Nuno

Sprinter: A Didactic Linter for Structured Programming

OASIcs-ICPEC-2022-2.pdf (0.6 MB)


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.

BibTeX - Entry

  author =	{Alfredo, Francisco and Santos, Andr\'{e} L. and Garrido, Nuno},
  title =	{{Sprinter: A Didactic Linter for Structured Programming}},
  booktitle =	{Third International Computer Programming Education Conference (ICPEC 2022)},
  pages =	{2:1--2:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-229-7},
  ISSN =	{2190-6807},
  year =	{2022},
  volume =	{102},
  editor =	{Sim\~{o}es, Alberto and Silva, Jo\~{a}o Carlos},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-166063},
  doi =		{10.4230/OASIcs.ICPEC.2022.2},
  annote =	{Keywords: structured programming, code quality, code linter}

Keywords: structured programming, code quality, code linter
Collection: Third International Computer Programming Education Conference (ICPEC 2022)
Issue Date: 2022
Date of publication: 11.07.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI