Title :
Functional Representation And Program Debugging
Author :
Allemang, Dean ; Chandrasekaran, B.
Author_Institution :
Universitat Zurich
Keywords :
Artificial intelligence; Computer languages; Debugging; Electric breakdown; Information science; Laboratories; Military computing; Reasoning about programs; Strips; Vocabulary;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1991. Proceedings., 6th Annual
Print_ISBN :
0-8186-2605-4
DOI :
10.1109/KBSE.1991.638030