PROUST(Program Understander for Students) is a knowledge-based system that finds nonsyntactic bugs in Pascal programs written by novice programmers. When students compile a program successfully, PROUST is automatically invoked to analyze it. PROUST reports any bugs that are in the program to the student. PROUST is a 15,000 LISP program and runs on a VAX. Micro-PROUST is a program meant to capture the essence of PROUST. Micro-PROUST is a 1500 line LISP program and runs on an IBM PC (with 512K). This document presents the inner workings of Micro-PROUST. Its intent is to enable those who so are inclined to see at a nuts and bolts level how a system like PROUST actually works.
展开▼