摘要: An initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described. The PA designed to be midway between improved methodology and automatic system. intention that programmer will do hard parts design while assist him wherever possible. One major underpinnings a representation (called plan) for programs which abstracts away from inessential features program, represents basic logical properties algorithm explicitly.
acm.org
computer.org
sci-hub.se 参考文章(9)
Charles Rich, A formal representation for plans in the programmer's apprentice international joint conference on artificial intelligence. pp. 1044- 1052 ,(1981) , 10.1007/978-1-4612-5196-5_9
Daniel Brotsky, Program Understanding through Cliché Recognition MIT Artificial Intelligence Laboratory. ,(1981)
Leo J. Guibas, Douglas K. Wyatt, Compilation and delayed evaluation in APL Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 1- 8 ,(1978) , 10.1145/512760.512761
R. Medina-Mora, P.H. Feiler, An Incremental Programming Environment IEEE Transactions on Software Engineering. ,vol. 7, pp. 472- 482 ,(1981) , 10.1109/TSE.1981.231109
R.C. Waters, A Method for Analyzing Loop Programs IEEE Transactions on Software Engineering. ,vol. SE-5, pp. 237- 247 ,(1979) , 10.1109/TSE.1979.234185
C. Rich, H.E. Shrobe, Initial Report on a Lisp Programmer's Apprentice IEEE Transactions on Software Engineering. ,vol. SE-4, pp. 456- 467 ,(1978) , 10.1109/TSE.1978.233869
Peter H. Feiler, Raul Medina-Mora, An Incremental Programming Environment international conference on software engineering. pp. 44- 53 ,(1981) , 10.5555/800078.802515
Robert Balzer, Transformational Implementation: An Example IEEE Transactions on Software Engineering. ,vol. 7, pp. 3- 14 ,(1981) , 10.1109/TSE.1981.230814
Tim Teitelbaum, The Cornell Program Synthesizer: a syntax-directed programming environment Sigplan Notices. ,vol. 14, pp. 75- 75 ,(1979) , 10.1145/953997.954001