PROUST: Knowledge-Based Program Understanding

IEEE Transactions on Software Engineering

Volumn SE-11, Issue 3, 1985, Pages 267-275

  Johnson, W Lewis ^a   Soloway, Elliot ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

Artificial inteiligence; Program debugging; program understanding; programmer training

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES - PROGRAM DEBUGGING; SYSTEMS SCIENCE AND CYBERNETICS - ARTIFICIAL INTELLIGENCE;

KNOWLEDGE-BASED PROGRAM UNDERSTANDING; PROGRAM DEBUGGING; PROGRAMMER TRAINING; PROUST;

COMPUTER PROGRAMS;

EID: 0021384852     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1985.232210     Document Type: Article

References (20)

1. J. Bonar and E. Soloway, “Uncovering principles of novice programming,” presented at the SIGPLAN-SIGACT 10th Symp. Principles of Programming Languages, 1983.
2. J. Bonar, K. Ehrlich, and E. Soloway, “Collecting and analyzing on-line protocols from novice programmers,” Behavioral Res. Methods Instrum., vol. 14, pp. 203–209, 1982.
3. J. S. Brown, R. R. Burton, and J. de Kleer, “Pedagorgical, natural language and knowledge engineering techniques in SOPHIE I , II, and III,” in Intelligent Tutoring Systems, D. Sleeman and J. S. Brown, Eds. New York: Academic, 1981.
4. W. J. Clancey, J. S. Bennett, and P. R. Cohen, “Applications-oriented AI research: Education,” Stanford Heuristic Programming Project, Tech. Rep. HPP-79-17, July 1979.
5. M. Dyer, “In-Depth Understanding,” Dep. Comput. Sci., Yale Univ., New Haven, CT, Tech. Rep. 219, May 1982.
6. K. Ehrlich and E. Soloway, “An empirical investigation of the tacit plan knowledge in programming,” Human Factors in Computer Systems, J. Thomas and M. L. Schneider, Eds. Norwood, NJ: Ablex, to be published.
7. M. R. Genesereth, “The role of plans in intelligent teaching systems,” in Intelligent Tutoring Systems, D. Sleeman and J. S. Brown, Eds. New York: Academic, 1981.
8. I. P. Goldstein, “The genetic graph: A representation for the evolution of procedural knowledge,” Int. J. Man-Machine Studies, vol. 11, pp. 51-77, 1979.
9. L. Johnson, S. Draper, and E. Soloway, “Classifying bugs is a tricky business,” in Proc. NASA Workshop Software Engineering, 1983.
10. M. L. Miller, “A structured planning and debugging environment for elementary programming,” Int. J. Man-Machine Studies, vol. 11, pp. 79-95, 1978.
11. C. Rich, “A formal representation for plans in the programmer's apprentice,” in Proc. 7th Int. Joint Conf. Artificial Intelligence, Aug. 1981, pp. 1044–1052.
12. R. Schank and R. Abelson, Scripts, Plans, Goals, and Under standing. Hillsdale, NJ: Erlbaum, 1977.
13. R. L. Sedlmeyer and P. E. Johnson, “Diagnostic reasoning in software fault localization,” in Proc. SIGSOFT Workshop High-Level Debugging, Asilomar, CA, 1983.
14. D. G. Shapiro, “Sniffer: A system that understands bugs,” M.I.T. Artificial Intelligence Lab., Tech. Rep. Al Memo 638, June 1981.
15. E. Soloway, E. Rubin, B. Woolf, J. Bonar, and W. L. Johnson, “MENO-II: An Al-based programming tutor,” J. Comput.-based Instruction, vol. 10, p. 1, 1983.
16. E. Soloway, K. Ehrlich, J. Bonar, and J. Greenspan, “What do novices know about programming,” in Directions in Human- Computer Interactions. Norwood, NJ: Ablex, 1982.
17. E. Soloway, K. Ehrlich, and J. Bonar, “Tapping into tacit programming knowledge” in Proc. Conf Human Factors in Computing Systems, Gaithersburg, MD, 1982.
18. E. Soloway, K. Ehlichi, and E.-Gold, “Reading a program is like reading a story (well, almost),” in Proc. Cognitive Science Conf., Cognitive Science Society, Rochester, NY, 1983.
19. E. Soloway, J. Bonar, and K. Ehrlich, “Cognitive strategies and looping constructs: An empirical study,” Commun. ACM, vol. 26, Nov. 1983.
20. K. T. Wescourt, M. Beard, L. Gould, and A. Barr, “Knowledge based CAL: CINS for individualized curriculum sequencing Stanford Inst. Mathematical Studies in the Social Sciences”, Psychology and Education Series, Tech. Rep. 290, Oct. 1977.