USING FUNCTIONAL MODELS IN AUTOMATIC DEBUGGING

被引：10

作者：

ALLEMANG, D ^{[1
]}

机构：

[1] OHIO STATE UNIV,COLUMBUS,OH 43210

来源：

IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS | 1991年 / 6卷 / 06期

关键词：

D O I：

10.1109/64.108947

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Apply functional reasoning to program debugging brngs the crisp semantics of programmmg languages to functional representation. In return, functional reasoning resolves the dispute between plan-based and semantics-based debugglng approaches. © 1991 IEEE

引用

页码：13 / 18

页数：6

共 14 条

[1]

ALLEMANG D, 1990, THESIS OHIO STATE U

[2]

DARDEN L, 1990, COMPUTATIONAL MODELS, P319

[3] DIAGNOSING MULTIPLE FAULTS [J].

DEKLEER, J ;

WILLIAMS, BC .

ARTIFICIAL INTELLIGENCE, 1987, 32 (01) :97-130

[4]

DEKLEER J, 1981, COGNITIVE SKILLS THE, P97

[5]

GOEL A, 1989, THESIS OHIO STATE U

[6]

Johnson W.L., 1986, INTENTION BASED DIAG

[7]

Keuneke A., 1989, Journal of Experimental and Theoretical Artificial Intelligence, V1, P79, DOI 10.1080/09528138908953694

[8]

KEUNEKE A, 1988, THESIS OHIO STATE U

[9]

MURRAY W, 1988, AUTOMATIC PROGRAM DE

[10]

NUTTALL S, 1990, NOSTRUM CONSTRAINT D

← 1 2 →