Functional representation and program debugging

Proceedings - 6th Annual Knowledge-Based Software Engineering Conference, KBSE 1991

Volumn , Issue , 1991, Pages 136-143

  Allemang, Dean ^a   Chandrasekaran, B ^b  

^a UNIVERSITY OF ZURICH   (Switzerland)

^b Laboratory for Artificial Intelligence Research Department of Computer and Information Science ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER DEBUGGING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; KNOWLEDGE BASED SYSTEMS; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE ENGINEERING;

DEBUGGERS; FUNCTIONAL REPRESENTATION; FUNCTIONAL SEMANTICS; PLAN-BASED; PROGRAMMING LANGUAGE SEMANTICS; TWO-STREAM;

FUNCTIONAL PROGRAMMING;

EID: 85011543867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/KBSE.1991.638030     Document Type: Conference Paper

References (10)

1. Dean Allemang. Understanding Programs as Devices. PhD thesis, The Ohio State University, 1990.
2. Paul R. Cohen and Edward Feigenbaum. Handbook of Artificial Intelligence, volume 111, chapter XV.D1, pages 541-550. William Kaufmann, Inc., Los Altos, CA, 1982.
3. W. Lewis Johnson. Intention-Based Diagnosis of Novice Programming Errors. Research Notes in Artificial Intelligence. Morgan Kaufman, Los Altos, CA, 1986.
4. William R. Murray. Automatic Program Debugging for Intelligent Tutoring Systems. Research Notes in Artificial Intelligence. Morgan Kaufman, Los Altos, CA, 1988.
5. Frank G. Pagan. Formal Specification of Programming Languages, chapter 4, pages 193-205.Prentice-Hall, Inc., Englewood Cliffs, NJ, 1981.
6. R. S. Patil, P. Szolovits, and W. B. Schwartz. Modeling knowledge of the patient in acid-base and electrolyte disorders. In P. Szolovits, editor, Artificial Intelligence in Medicine, pages 191-226. Westview Press, Boulder, CO, 1982.
7. Charles Rich and Richard C. Waters. The programmer's apprentice, a research overview. IEEE Computer, pages 11-25, 1988.
8. Charles Rich and Linda M. Wills. Recognizing a programmer's design: A graph-parsing approach. IEEE Software, pages 82-90, 1990.
9. V. Sembugamoorthy and B. Chandrasekaran. Functional representation of devices and compilation of diagnostic problem solving systems. In J. Kolodner and C. Riesbeck, editors, Ezperience, Memory and Reasoning, pages 47-73. Lawrence Erlbaum Associates, 1986.
10. Jon Sticklen, B. Chandrasekaran, and W. E. Bond. Distributed causal reasoning for knowledge acquisition: A functional approach to device understanding. In KA W 89, 1989.