Exportar Publicação
A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.
Alfredo, F., Santos, A. L. & Garrido, N. (2022). Sprinter: A didactic linter for structured programming. In Simões, A., and Silva, J. C. (Ed.), OpenAccess Series in Informatics. Barcelos: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
F. Alfredo et al., "Sprinter: A didactic linter for structured programming", in OpenAccess Series in Informatics, Simões, A., and Silva, J. C., Ed., Barcelos, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022, vol. 102
@inproceedings{alfredo2022_1732225653741, author = "Alfredo, F. and Santos, A. L. and Garrido, N.", title = "Sprinter: A didactic linter for structured programming", booktitle = "OpenAccess Series in Informatics", year = "2022", editor = "Simões, A., and Silva, J. C.", volume = "102", number = "", series = "", doi = "10.4230/OASIcs.ICPEC.2022.2", publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing", address = "Barcelos", organization = "Polytechnic Institute of Cávado and Ave (IPCA)", url = "https://www.icpeconf.org/" }
TY - CPAPER TI - Sprinter: A didactic linter for structured programming T2 - OpenAccess Series in Informatics VL - 102 AU - Alfredo, F. AU - Santos, A. L. AU - Garrido, N. PY - 2022 DO - 10.4230/OASIcs.ICPEC.2022.2 CY - Barcelos UR - https://www.icpeconf.org/ AB - 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. ER -