The Programmer's Apprentice: Knowledge Based Program Editing
IEEE Transactions on Software EngineeringPublished 1 January 1982
Richard C. Waters
Citations120
SJR quartileQ1
SJR score1.45
SNIP2.43
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described, designed to be midway between an improved programming methodology and an automatic programming system.
Abstract
An initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described. The PA is designed to be midway between an improved programming methodology and an automatic programming system. The intention is that the programmer will do the hard parts of design and implementation while the PA will assist him wherever possible. One of the major underpinnings of the PA is a representation (called a plan) for programs which abstracts away from the inessential features of a program, and represents the basic logical properties of the algorithm explicitly.
Keywords
Computer Science
IEEE Transactions on Software EngineeringAn Incremental Programming Environment
193 Citations1981Raúl Medina‐Mora, Peter H. Feiler
This paper describes an incremental programming environment (IPE) based on compilation technology, but providing facilities traditionally found only in interpretive systems.
IEEE Transactions on Software EngineeringTransformational Implementation: An Example
161 Citations1981Rosana Balzer
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example.
IEEE Transactions on Software EngineeringInitial Report on a Lisp Programmer's Apprentice
126 Citations1978Charles Rich, Howard Shrobe
The initial design and partial implementation of an interactive programming environment to be used by expert programmers and a deductive system which can verify the correctness of plans involving side effects on complex data with structure sharing are described.
Compilation and delayed evaluation in APL
116 Citations1978Leo J. Guibas, Douglas K. Wyatt
An algorithm for incorporating the selector operators into the accessors for the leaves of the expression tree and incorporating their effect into the leaf accessors is presented, which will be shown to be an integral part of delayed evaluation for APL.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Inspection Methods in Programming
86 Citations1981Charles Rich
This work focuses on the routine aspects of programming which involve the application of previous experience with similar programs, and calls this programming by inspection, which is in the form of a taxonomy of commonly used algorithms and data structures.
IEEE Transactions on Software EngineeringA Method for Analyzing Loop Programs
85 Citations1979Richard C. Waters
This paper presents a method for automatically analyzing loops, and discusses why it is a useful way to look at loops and the relationship between the structure building methods presented and programming language constructs.
DSpace@MIT (Massachusetts Institute of Technology)Automatic Analysis of the Logical Structure of Programs
43 Citations1978Richard C. Waters
A method for viewing complex programs as built up out of simpler ones, which focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole.
Automatic Construction of Algorithms and Data Structures Using a Knowledge Base of Programming Rules
42 Citations1977D Barstow
The principal goal of the research reported here is the explication of programming knowledge to a sufficient level of detail that it can be used effectively by a machine.
Topics in information systemsA Formal Representation for Plans in the Programmer’s Apprentice
39 Citations1984Charles Rich
A plan calculus is presented which is being used to represent programs and a library of standard data and control abstractions in the programmer's apprentice using a situational calculus in which side effects and overlapping mutable data structures are accounted for.
HAL (Le Centre pour la Communication Scientifique Directe)A structure oriented program editor : a first step towards computer assisted programming
23 Citations1975Véronique Viguié Donzeau-Gouge, Gérard Huet +3 more
DSpace@MIT (Massachusetts Institute of Technology)Program Understanding through Cliché Recognition
20 Citations1981Daniel Brotsky
The goals are to develop a theory of program structure which makes such recognition tractable, and to produce a program (named Inspector) which will construct a hierarchical decomposition of the program in terms of the cliches it uses.
ACM SIGPLAN NoticesThe Cornell Program Synthesizer
15 Citations1979Tim Teitelbaum
The followin~ is an announcement of the recently developed Cornell Program Syn-thesizer, first used at the ~979 session of the Cornell Summer School, and allows the incorporation of some unique run time debugging features.
DSpace@MIT (Massachusetts Institute of Technology)A System for Understanding Mathematical FORTRAN Programs
14 Citations1976Richard C. Waters
A system which, when implemented, will be able to understand mathematical FORTRAN programs, such as those in the IBM Scientific Subroutine Package, and is able to aid in debugging the program by detecting errors in it, and by locating the features of the program which are responsible for an error.
International Conference on Software EngineeringAn Incremental Programming Environment
12 Citations1981Peter H. Feiler, Raúl Medina‐Mora