EMMA: a web-based report system for programming course--automated verification and enhanced feedback

Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi. EMMA: a web-based report system for programming course--automated verification and enhanced feedback. In Roger D. Boyle, Martyn Clark, Amruth Kumar, editors, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004. pages 278, ACM, 2004. [doi]

Abstract

Abstract is missing.