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

Authors

Joseph Hollingsworth, Rose-Hulman Institute of Technology
Megan Fowler, Clemson University
Jason Hallstrom, Florida Atlantic University
Eileen Kraemer, Clemson University
Murali Sitaraman, Clemson University
Yu-Shan Sun, Clemson University
Jiadi Wang
Gloria Washington, Howard University

Document Type

Article

Publication Date

8-5-2022

DOI Number / ISBN

doi:10.15388/infedu.2021.24

External Access URL

https://doi.org/10.15388/infedu.2021.24

Recommended Citation

Fowler, M., Hallstrom, J., Hollingsworth, J., Kraemer, E., Sitaraman, M., Sun, Y. S., Wang, J., & Washington, G. (2021). Tool-aided learning of code reasoning with abstraction in the CS curriculum. Informatics in Education, 20(4), 533-566. https://doi.org/10.15388/infedu.2021.24