The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - December (1991 vol.6)
pp: 13-18
ABSTRACT
<p>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.</p>
CITATION
Dean Allemang, "Using Functional Models in Automatic Debugging", IEEE Intelligent Systems, vol.6, no. 6, pp. 13-18, December 1991, doi:10.1109/64.108947
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool