Now showing items 1-1 of 1
Detecting Prolog programming techniques using abstract interpretation
(The University of Edinburgh, 1992)
There have been a number of attempts at developing intelligent tutoring systems (ITSs) for teaching students various programming languages. An important component of such an ITS is a debugger capable of recognizing errors ...