Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum

Computer science students often evaluate the behavior of the code they write by running it on specific inputs and studying the outputs, and then apply their comprehension to a more general understanding of the code. While this is a good starting point in the student’s career, successful graduates mu...

Ausführliche Beschreibung