FINITE DIFFERENCING OF COMPUTABLE EXPRESSIONS

被引：122

作者：

PAIGE, R

KOENIG, S

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 03期

关键词：

D O I：

10.1145/357172.357177

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：402 / 454

页数：53

共 49 条

[1]

Allen F. E., 1969, Annual review in automatic programming, vol.5, P239

[2]

Allen F. E., 1981, Program flow analysis. Theory and applications, P79

[3]

BAUER FL, 1981, TUMI8104 TU MUNCH I

[4]

BROY M, 1980, INFORMATION PROCESSI, V80, P101

[5]

BURGE W, 1976, RC5834 IBM RES CTR C

[6] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[7] ALGORITHM FOR REDUCTION OF OPERATOR STRENGTH [J].

COCKE, J ;

KENNEDY, K .

[8]

COCKE J, 1978, RC7013 IBM RES CTR C

[9]

Cocke John, 1969, PROGRAMMING LANGUAGE

[10]

Dewar R. B. K., 1979, ACM Transactions on Programming Languages and Systems, V1, P27, DOI 10.1145/357062.357064