
- D. Baldwin, "Teaching Introductory Computer Science as the Science of Algorithms", Proceedings of SIGCSE 1990, pp 58-62. Google Scholar
Digital Library
- E. Dijkstra, "On the Cruelty of Really Teaching Computer Science", in "A Debate on Teaching Computer Science", Communications of the A CM, vol 32, no 12, pp 1397-1414, December 1989. Google Scholar
Digital Library
- D. Gries, "Teaching Calculation and Discrimination: A More Effective Curriculum", Communications o{ the ACM, vol 34, no 3, pp 45-55, March 1991. Further comments in CACM "Forum", September 1991. Google Scholar
Digital Library
- J. Kingston, Algorithms and Data Structures, Addison-Wesley, 1990. Google Scholar
Digital Library
- T. Pratt, "Upgrading CSI: An Alternative to the Proposed COCS Survey Course", Proceedings of SIGCSE 1990, pp 68-71. Google Scholar
Digital Library
- A. Tucker, W. Bradley, R. Cupper, and D. Garnick, Fundamentals of Computing I, McGraw Hill, 1992.Google Scholar
Index Terms
Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course
Recommendations
On the Ability to Reason About Program Behaviour: A Think-Aloud Study
ITiCSE '17: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science EducationAbstraction is a core skill for both programming and problem solving, however it is also a challenge for many students to develop a correct understanding of abstract concepts, such as program behaviour, which causes them to struggle with both ...






Comments