DocumentCode
823490
Title
Program recognition
Author
Ourston, Dirk
Volume
4
Issue
4
fYear
1989
Firstpage
36
Lastpage
49
Abstract
The author explores the issues involved with program recognition by reviewing in some detail three systems epitomizing current techniques in program recognition research: the Program Recognizer, Talus, and Proust. The Program Recognizer recognizes occurrences of stereotyped computational fragments in computer programs. Talus analyzes programs involving the recursive definition of data structures, permitting recursion on three data types: list, tree, and number. Proust is a program for debugging Pascal programs. The author concludes the most promising direction for future research would be to combine the best elements of all three programs.<>
Keywords
program debugging; program verification; Program Recognizer; Proust; Talus; data structures; debugging Pascal programs; list; number; program recognition; stereotyped computational fragments; tree; Software debugging; Software verification and validation;
fLanguage
English
Journal_Title
IEEE Expert
Publisher
ieee
ISSN
0885-9000
Type
jour
DOI
10.1109/64.43284
Filename
43284
Link To Document