Semantic Reasoning in Young Programmers

David S. Touretzky, Christina Gardner-McCune, Ashish Aggarwal. Semantic Reasoning in Young Programmers. In Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes, Daniel D. Garcia, editors, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. pages 585-590, ACM, 2017. [doi]

Abstract

Abstract is missing.