The design, implementation, and use of DSTutor: a tutoring system for denotational semantics.

Barry L. Kurtz, Richard L. Oliver, Edward M. Collins

Browse the full SIGCSE paper archive.