Semantic Reasoning in Young Programmers.

David S. Touretzky, Christina Gardner-McCune, Ashish Aggarwal

Browse the full SIGCSE paper archive.