A knowledge based program editor
暂无分享,去创建一个
[1] Peter H. Feiler,et al. An Incremental Programming Environment , 1981, IEEE Transactions on Software Engineering.
[2] RepsThomas,et al. The Cornell program synthesizer , 1981 .
[3] Richard C. Waters,et al. A Method for Analyzing Loop Programs , 1979, IEEE Transactions on Software Engineering.
[4] Tim Teitelbaum,et al. The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS , 1979 .
[5] David Robbins Barstow,et al. Automatic construction of algorithms and data structures using a knowledge base of programming rules , 1977 .
[6] Daniel C. Brotsky. Program Understanding through Cliché Recognition , 1981 .
[7] Richard C. Waters. Automatic Analysis of the Logical Structure of Programs , 1978 .
[8] Howard E. Shrobe,et al. Initial Report on a Lisp Programmer's Apprentice , 1978, IEEE Transactions on Software Engineering.
[9] Leonidas J. Guibas,et al. Compilation and delayed evaluation in APL , 1978, POPL.
[10] Richard C Waters,et al. A System for Understanding Mathematical FORTRAN Programs , 1976 .
[11] Charles Rich. Inspection methods in programming , 1980 .
[12] Robert Balzer,et al. Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.