CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES

被引：0

作者：

HE, JF

HOARE, CAR

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：402 / 417

页数：16

共 50 条

[21] VISUAL PROGRAMMING-LANGUAGES
EBELL, MH
[J]. M D COMPUTING, 1993, 10 (05): : 305 - 311
[22] SPREADSHEETS AS PROGRAMMING-LANGUAGES
WHISNANT, DM
[J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1993, 206 : 133 - CHED
[23] PROGRAMMING-LANGUAGES AND THEIR DEFINITION
JONES, CB
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 177 : R7 - 254
[24] PROGRAMMING-LANGUAGES, MICROCOMPUTERS AND OR
OKEEFE, RM
[J]. JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1984, 35 (07) : 617 - 627
[25] THE HISTORY OF PROGRAMMING-LANGUAGES
KING, KN
[J]. DR DOBBS JOURNAL, 1993, 18 (08): : 18 - &
[26] PROGRAMMING-LANGUAGES AS CHINESE
SWAINE, M
[J]. DR DOBBS JOURNAL, 1988, 13 (11): : 116 - 117
[27] FORMATTED PROGRAMMING-LANGUAGES
ROSE, GA
WELSH, J
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (07): : 651 - 669
[28] ADDENDUM OFFERED FOR PROGRAMMING-LANGUAGES
WEISS, EA
[J]. COMPUTER, 1982, 15 (07) : 7 - 7
[29] PROGRAMMING-LANGUAGES AS THOUGHT MODELS
RECHENBERG, P
[J]. STRUCTURED PROGRAMMING, 1990, 11 (03): : 105 - 115
[30] SIMPLE METRICS FOR PROGRAMMING-LANGUAGES
MACLENNAN, BJ
[J]. INFORMATION PROCESSING & MANAGEMENT, 1984, 20 (1-2) : 209 - 221