This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Functional Models in Automatic Debugging
December 1991 (vol. 6 no. 6)
pp. 13-18

It is shown that applying functional reasoning to program debugging brings the crisp semantics of programming languages to functional representation. In return, functional reasoning resolves the dispute between plan-based and semantics-based debugging approaches. A description is given of a debugger called DUDU (debugging using device understanding), which identifies correct programs and gives meaningful explanations about why incorrect programs are incorrect. In addition to template information, the representation includes fragments of causal stories at various levels of abstraction.

Citation:
Dean Allemang, "Using Functional Models in Automatic Debugging," IEEE Intelligent Systems, vol. 6, no. 6, pp. 13-18, Dec. 1991, doi:10.1109/64.108947
Usage of this product signifies your acceptance of the Terms of Use.