Issue No. 01 - January/February (1990 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.43052
<p>Automatic program analysis is regarded here as both the mechanized process of understanding high-level concepts from program text and the use of those concepts to guide program maintenance. A knowledge-based program analysis tool called PAT, which realizes this concept, is described. PAT uses an object-oriented framework to represent programming concepts and a heuristic-based concept-recognition mechanism to derive high-level functional concepts from the source code. As an example, a segment of a much larger program written in a Pascal-like language is analyzed using PAT.</p>
high-level concepts; program text; program maintenance; knowledge-based program analysis tool; PAT; object-oriented framework; programming concepts; heuristic-based concept-recognition mechanism; source code; knowledge based systems; object-oriented programming; program diagnostics; software tools
M. T. Harandi and J. Q. Ning, "Knowledge-Based Program Analysis," in IEEE Software, vol. 7, no. , pp. 74-81, 1990.