A tool for helping teach a programming method

Dony, Isabelle;Le Charlier, Baudouin
(2006) SIGCSE Bulletin — Vol. 38, n° 3, p. 212-216 (2006)

Files

No attached file found for this publication.

Details

Authors
  • Dony, IsabelleUCLouvain
    Author
  • Le Charlier, BaudouinUCLouvain
    Author
Abstract
We present and discuss a tool that checks the correctness of simple programs constructed according to the structured programming method. The tool is intended to provide interesting feedback to students learning the programming method: it detects programming and/or reasoning errors and it provides typical counter-examples. We argue that our system is better adapted to our pedagogical context than other verification tools and we report on preliminary experiments with the tool in a third year programming course.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Dony, I., & Le Charlier, B. (2006). A tool for helping teach a programming method. SIGCSE Bulletin, 38(3), 212-216. https://doi.org/10.1145/1140123.1140181 (Original work published 2006)