loading...
Using Functional Models in Automatic Debugging
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.108947December 1991 (vol. 6 no. 6) pp. 13-18
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Dean Allemang, "Using Functional Models in Automatic Debugging," IEEE Intelligent Systems, vol. 6, no. 6, pp. 13-18, December, 1991.
 
 
BibTex
x
 
@article{ 10.1109/64.108947,
author = {Dean Allemang},
title = {Using Functional Models in Automatic Debugging},
journal ={IEEE Intelligent Systems},
volume = {6},
number = {6},
issn = {0885-9000},
year = {1991},
pages = {13-18},
doi = {http://doi.ieeecomputersociety.org/10.1109/64.108947},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - Using Functional Models in Automatic Debugging
IS - 6
SN - 0885-9000
SP13
EP18
EPD - 13-18
A1 - Dean Allemang,
PY - 1991
VL - 6
JA - IEEE Intelligent Systems
ER -
 

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.