Micro-PROUST.

Abstract

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. Additional keywords: intelligent tutoring systems; student modelling; automatic program debugging.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1985
Accession Number
ADA157505

Entities

People

  • E. Soloway
  • W. L. Johnson

Organizations

  • Yale University

Tags

Communities of Interest

  • Biomedical
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Cognition
  • Cognitive Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Engineering
  • Identification
  • Information Processing
  • Military Research
  • Psychology
  • Social Sciences
  • Students
  • United States
  • United States Government

Fields of Study

  • Engineering

Readers

  • Artificial Intelligence
  • Computer Science.