MIXED COMPUTATION - POTENTIAL APPLICATIONS AND PROBLEMS FOR STUDY

被引：63

作者：

ERSHOV, AP

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(82)90111-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：41 / 67

页数：27

共 34 条

[1]

BAUER FL, 1979, LECTURE NOTES COMPUT, V69, P237

[2] PARTIAL EVALUATOR, AND ITS USE AS A PROGRAMMING TOOL [J].

BECKMAN, L ;

HARALDSON, A ;

OSKARSSON, O ;

SANDEWALL, E .

[3]

CARTER JL, 1975, RC5666 IBM TJ WATS R

[4]

DARLINGTON J, 1978, ACTA INFORM, V11, P1, DOI 10.1007/BF00264597

[5] SYSTEM WHICH AUTOMATICALLY IMPROVES PROGRAMS [J].

DARLINGTON, J ;

BURSTALL, RM .

[6]

DIJKSTRA EW, 1977, EWD636 MAN

[7]

ELSON M, 1970, IBM SYSTEM J, V3, P166

[8]

ERSHOV A, 1966, J ACM, V13, P17

[9]

Ershov A. P., 1978, Constructing Quality Software, P99

[10] PARTIAL COMPUTATION PRINCIPLE [J].

ERSHOV, AP .