AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Automatic programming from data types decomposition patterns
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Integrating declarative knowledge programming styles and tools in a structured object AI environment
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The layered architecture of a system for reasoning about programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
Hi-index | 0.00 |
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.