THE CONCEPT OF A SUPERCOMPILER

被引:146
作者
TURCHIN, VF
机构
来源
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1986年 / 8卷 / 03期
关键词
D O I
10.1145/5956.5957
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:292 / 325
页数:34
相关论文
共 23 条
[1]  
BECKMAN L, 1974, ARTIFICIAL INTELLIGE, V7, P319
[2]   TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].
BURSTALL, RM ;
DARLINGTON, J .
JOURNAL OF THE ACM, 1977, 24 (01) :44-67
[3]   MIXED COMPUTATION - POTENTIAL APPLICATIONS AND PROBLEMS FOR STUDY [J].
ERSHOV, AP .
THEORETICAL COMPUTER SCIENCE, 1982, 18 (01) :41-67
[4]  
ERSHOV AP, 1977, FORMAL DESCRIPTION P, P391
[5]  
FRIEDMAN DP, 1967, AUTOMATA LANGUAGES P, P257
[6]  
FUTAMURA Y, 1983, LECT NOTES COMPUT SC, V147, P1
[7]  
Futamura Yoshihiko, 1971, SYST COMPUT CONTROL, V25, P45
[8]  
JONES N, 1980, LECTURE NOTES COMPUT, V94, P70, DOI DOI 10.1007/3-540-10250-719
[9]  
JONES ND, 1985, UNPUB INT C REWR TEC
[10]  
JONES ND, 1983, SOME PRINCIPLES NOTA