Journal Article10.1109/52.43052
Knowledge-based program analysis
M.T. Harandi,J.Q. Ning +1 more
188
TL;DR: A knowledge-based program analysis tool called PAT, which realizes this concept, is described, which 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.
read more
Abstract: 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. >
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Machine Learning Approach
Namita Srivastava,C. K. Verma,Rabia Aziz Musheer +2 more
- 28 Feb 2020
TL;DR: This book applied different combinations of feature selection / extraction methods, as a novel hybrid dimension reduction method for SVM, ANN and NB classifiers, and the obtained results are compared with other popular published dimension reduction methods for S VM, NB and ANN classifiers.
443
Asking and Answering Questions during a Programming Change Task
TL;DR: This paper undertook two qualitative studies of programmers performing change tasks to provide answers to three broad research questions and produces a catalog of 44 types of questions programmers ask during software evolution tasks.
The concept assignment problem in program understanding
Ted J. Biggerstaff,Bharat G. Mitbander,Dallas E. Webster +2 more
- 21 May 1993
TL;DR: The authors argue that the solution to the problem of discovering individual human oriented concepts and assigning them to their implementation oriented counterparts for a given program is the concept assignment problem and requires methods that have a strong plausible reasoning component.
Supporting program comprehension using semantic and structural information
Jonathan I. Maletic,Andrian Marcus +1 more
- 01 Jul 2001
TL;DR: Focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reengineering of software systems.
•Journal Article
Atomic Architectural Component Recovery for Program Understanding and Evolution.
TL;DR: In this paper, the authors unify, quantitatively and qualitatively evaluate, improving, and integrating automatic and semi-automatic methods for component recovery and remodeling in legacy systems.
175
References
A knowledge-based approach to automatic program analysis
M. T. Harandi,Jim Qun Ning +1 more
- 01 Jan 1989
TL;DR: A knowledge-based approach for automating the analysis of program source code, called PAT, is proposed, which represents the program information as events and the program analysis knowledge as plans.
52
SRE: A Knowledge-based Environment For Large-scale Software Re-engineering Activities
Wojtek Kozaczynski,Jim Q. Ning +1 more
- 15 May 1989
TL;DR: The underlying principles of a knowlkige-based Software Re-engineering Environment (SRE) which is intended to provide high-level support to various software maintenance and re-engineering activities are described.
36
PAT: a knowledge-based program analysis tool
M.T. Harandi,J.Q. Ning +1 more
- 24 Oct 1988
TL;DR: An intelligent program analysis/debugging tool, called PAT, is described which is expected to provide human-expert-level assistance to programmers in general program understanding and debugging tasks.
35
A truth maintenance system
Jon Doyle
- 01 Oct 1987
TL;DR: The Truth Maintenance System (TMS) as discussed by the authors is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs, which are useful in constructing explanations for program actions and in guiding the course of action of a problem-solver.
A truth maintenance system
TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined.