SUBRECURSIVE PROGRAMMING LANGUAGES .1. EFFICIENCY AND PROGRAM STRUCTURE

被引:15
作者
CONSTABLE, RL
BORODIN, AB
机构
关键词
D O I
10.1145/321707.321721
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:526 / +
页数:1
相关论文
共 28 条
[1]   ON SIZE OF MACHINES [J].
BLUM, M .
INFORMATION AND CONTROL, 1967, 11 (03) :257-&
[2]   A MACHINE-INDEPENDENT THEORY OF COMPLEXITY OF RECURSIVE FUNCTIONS [J].
BLUM, M .
JOURNAL OF THE ACM, 1967, 14 (02) :322-&
[3]  
BLUM M, 1969, C RECORD ACM S THEOR, P43
[4]  
BORODIN A, 1969, C RECORD ACM S THEOR, P67
[5]  
COBHAM A, 1965, 1964 P INT C LOG MET, P24
[6]  
CONSTABLE RL, 1970, 2ND P ANN S THEOR CO, P1
[7]  
CONSTABLE RL, 1969, 6932 CONR U COMP SCI
[8]   RANDOM-ACCESS STORED-PROGRAM MACHINES APPROACH TO PROGRAMMING LANGUAGES [J].
ELGOT, CC ;
ROBINSON, A .
JOURNAL OF THE ACM, 1964, 11 (04) :365-&
[9]  
ENGLER E, 1968, FORMAL LANGUAGES AUT
[10]  
Grzegorczyk A., 1953, ROZPR MAT, V4, P1