By handling numbers in unexpected ways, computers and calculators create headaches for computer programers and set traps for unsuspecting users by sometimes producing wrong answers. Specific examples of such computer/calculator errors are discussed. (Author/JN)

Based upon the concept that the psychological meaning of a syllogism depends upon the order of the premises in addition to the formal logic expressed, the analogical theory of the interpretation of syllogisms is developed, experimentally tested, and implemented as a computer program. (CTM)

This report examines the features and performance of the BUG-FINDing component of MENO-II, a computer-based tutor for beginning PASCAL programming students. A discussion of the use of artificial intelligence techniques is followed by a summary of the system status and objectives. The two main components of MENO-II are described, beginning with the…

Argues that a computer-based programming tutor for novice programmers needs to take into account not only the types and frequency of bugs found in the programs, but the intentions and knowledge state of the programmer. A first version of such a program was developed on the basis of the bug types found in a number of pencil-and-paper studies with…

This report describes PROUST, a computer-based system for online analyses and understanding of PASCAL programs written by novice programmers, which takes as input a program and a non-algorithmic description of the program requirements and finds the most likely mapping between the requirements and the code. Both the theory and processing techniques…