UNDERSTANDING AND DEBUGGING PROGRAMS

被引：23

作者：

LUKEY, FJ ^{[1
]}

机构：

[1] UNIV SUSSEX,DEPT EXPTL PSYCHOL,BRIGHTON BN1 9RH,E SUSSEX,ENGLAND

来源：

INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES | 1980年 / 12卷 / 02期

关键词：

D O I：

10.1016/S0020-7373(80)80017-4

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：189 / 202

页数：14

共 7 条

[1] PROVING THEOREMS ABOUT LISP FUNCTIONS [J].

BOYER, RS ;

MOORE, JS .

GOLDSTEIN, IP .

[3] LOGICAL ANALYSIS OF PROGRAMS [J].

KATZ, S ;

MANNA, Z .

[4] SYMBOLIC EXECUTION AND PROGRAM TESTING [J].

KING, JC .

[5]

LUKEY FJ, 1978, THESIS U SUSSEX

[6]

RICH C, 1976, AITR354 MASS I TECHN

[7]

WATERS RC, 1976, AITR368 MASS I TECHN