Recognition in a program understanding system

Authors:
Stephen Fickas;Ruven Brooks
Affiliations:
Information and Computer Science Dept., University of California Irvine, Irvine, California;Dept. of Psychiatry and Behavioral Science, University of Texas Galveston, Galveston, Texas
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Year:
1979

Citing 4
Cited 0

An axiomatic basis for computer programming

Communications of the ACM
Initial Report on A LISP Programmer''s Apprentice

Initial Report on A LISP Programmer''s Apprentice
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures

Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Automatic construction of algorithms and data structures using a knowledge base of programming rules.

Automatic construction of algorithms and data structures using a knowledge base of programming rules.

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a recognition model for a Program Understanding system based on a top-down control structure that begins from a given high level plan and attempts to refine and decompose the plan until it can be matched against actual code. We introduce the notion of "distinctive features" and "beacons" which help guide the recognition process and are based on a set of functional program "templates". Additional mechansims are proposed to recover from situations in which the primary top-down approach fails.