Title: Intention-based diagnosis of novice programming errors
Subjects: Debugging in computer science, PROUST (Computer program), Pascal (Computer program language)