ANNOTATIONS TO CONTROL PARALLELISM AND REDUCTION ORDER IN THE DISTRIBUTED EVALUATION OF FUNCTIONAL PROGRAMS

被引：16

作者：

BURTON, FW ^{[1
]}

机构：

[1] UNIV E ANGLIA,NORWICH NR4 7TJ,NORFOLK,ENGLAND

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1984年 / 6卷 / 02期

关键词：

D O I：

10.1145/2993.357241

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：159 / 174

页数：16

共 24 条

[1] AN EFFICIENT INTERPRETER FOR THE LAMBDA-CALCULUS [J].

AIELLO, L ;

PRINI, G .

BACKUS, J .

[3]

Burge W. H., 1975, RECURSIVE PROGRAMMIN

[4]

BURSTALL RM, 1980, CSR6280 U ED DEP COM

BURTON, FW .

[6]

BURTON FW, UNPUB IEEE T COMPUTE

[7]

CLARK TJW, 1980, 1980 P ACM LISP C, P128

[8]

DENNIS JB, 1980, COMPUTER, V13, P48, DOI 10.1109/MC.1980.1653418

[9] A SYSTEM FOR ASSISTING PROGRAM TRANSFORMATION [J].

FEATHER, MS .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (01) :1-20

[10]

FRIEDMAN DP, 1976, AUTOMATA LANGUAGES P, P257