SOME RECURSIVELY UNSOLVABLE PROBLEMS IN ALGOL-LIKE LANGUAGES

被引：20

|

作者：

GINSBURG, S

ROSE, GF

机构：

来源：

JOURNAL OF THE ACM | 1963年 / 10卷 / 01期

关键词：

D O I：

10.1145/321150.321153

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：29 / &

相关论文

共 50 条

[1] QUANTIFICATION IN ALGOL-LIKE LANGUAGES
TENNENT, RD
[J]. INFORMATION PROCESSING LETTERS, 1987, 25 (02) : 133 - 137
[2] AN EXTENSION OF ALGOL-LIKE LANGUAGES
ROSE, GF
[J]. COMMUNICATIONS OF THE ACM, 1964, 7 (02) : 52 - 61
[3] EXTENSIONS OF ALGOL-LIKE LANGUAGES
SKYUM, S
[J]. INFORMATION AND CONTROL, 1974, 26 (01): : 82 - 97
[4] BOUNDED ALGOL-LIKE LANGUAGES
GINSBURG, S
SPANIER, EH
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1964, 113 (02) : 333 - +
[5] Information flow for Algol-like languages
Clark, D
Hankin, C
Hunt, S
[J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2002, 28 (01) : 3 - 28
[6] ON DISPLAY OPTIMIZATION FOR ALGOL-LIKE LANGUAGES
NAWROCKI, JR
KOSTER, CHA
[J]. COMPUTER LANGUAGES, 1990, 15 (01): : 27 - 39
[7] Objects and classes in Algol-like languages
Reddy, US
[J]. INFORMATION AND COMPUTATION, 2002, 172 (01) : 63 - 97
[8] LOCAL VARIABLES AND NONINTERFERENCE IN ALGOL-LIKE LANGUAGES
TENNENT, RD
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 34 - 36
[9] BIOLOGICALLY MOTIVATED EXTENSION OF ALGOL-LIKE LANGUAGES
HERMAN, GT
[J]. INFORMATION AND CONTROL, 1973, 22 (05): : 487 - 502
[10] SOME RECURSIVELY UNSOLVABLE PROBLEMS IN ANALYSIS
ADLER, A
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 22 (02) : 523 - &

← 1 2 3 4 5 →