Proceedings Article10.1109/ICSM.1988.10182
PAT: a knowledge-based program analysis tool
M.T. Harandi,J.Q. Ning +1 more
- 24 Oct 1988
- pp 312-318
35
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.
read more
Abstract: The authors address the use of knowledge-based techniques in providing high-level support for program understanding and debugging activities. 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. PAT is characterized by its use of a knowledge base of coding and debugging heuristics represented as program plans. With the help of the encoded expert knowledge, this tool comprehends a given program without a separate specification from the programmer or an execution of the program. PAT then generates paraphrases about the intentions implied in the given code and diagnoses bugs that are commonly related to those intentions. >
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
Improving uml designs using automatic design pattern detection
Federico Bergenti
- 01 Jan 2001
TL;DR: The work in the literature on assistants for programmers and software architects is shown and a system called IDEA (Interactive DEsign Assistant) is presented meant for automating the task of finding and improving the realizations of design patterns.
87
A knowledge-based approach to the analysis of loops
TL;DR: A knowledge-based analysis approach that generates first order predicate logic annotations of loops is presented and a consistent and rigorous functional abstraction of the whole loop is synthesized from the specifications of its individual events.
An integrated program representation and toolkit for the maintenance of C programs
M. Platoff,M. Wagner,J. Camaratta +2 more
- 15 Oct 1991
TL;DR: An integrated environment for the maintenance of software systems written in C supports all of the C language, including the C preprocessor, and a transformation toolkit supports structured changes to the representation.
37
Evaluating non functional requirements in mobile learning contents and multimedia educational software
Gianna Avellis,Antonio Scaramuzzi,Anthony Finkelstein +2 more
- 01 Jan 2003
TL;DR: A scheme for representing critical non functional requirements (NFRs) is developed, and applied to the domains of mobile elearning contents and Multimedia Educational Software to validate it, providing the means to improve the quality of e-learning contents.
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
References
Learning to program = learning to construct mechanisms and explanations
TL;DR: Teaching effective problem-solving skills in the context of teaching programming necessitates a revised curriculum for introductory computer programming courses.
575
PROUST: Knowledge-Based Program Understanding
W. L. Johnson,Elliot Soloway +1 more
TL;DR: Bugs are discovered in the process of relating plans to the code; PROUST can give deep explanations of program bugs by relating the buggy code to its underlying intentions.
PROUST: Knowledge-based program understanding
W. Lewis Johnson,Elliot Soloway +1 more
- 26 Mar 1984
TL;DR: In this article, the authors describe a program called PROUST which does on-line analysis and understanding of Pascal programs written by novice programmers, using a knowledge base of programming plans and strategies, together with common bugs associated with them.
239
•Book
Artificial Intelligence Programming
Eugene Charniak,James R. Meehan,Christopher K. Reisbeck,Drew McDermott +3 more
- 01 Jan 1980
TL;DR: This chapter discusses data-Driven Programming and Other Programming Techniques, higher-Order Functions, Continuations, and Coroutines, and higher-order functions in Lisp, as well as some of the techniques used in AI programming.
225
The Programmer's Apprentice: Knowledge Based Program Editing
TL;DR: In this article, an initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described, which is designed to be midway between an improved programming methodology and an automatic programming system.
142