PARALLEL LOGIC PROGRAMMING-LANGUAGES

被引：0
作者：
TAKEUCHI, A
FURUKAWA, K
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 225卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：242 / 254
页数：13
相关论文
共 50 条
[21]   PROGRAMMING-LANGUAGES [J].
TESLER, LG .
SCIENTIFIC AMERICAN, 1984, 251 (03) :70-&
[22]   PROGRAMMING-LANGUAGES [J].
不详 .
KYBERNETES, 1983, 12 (04) :226-227
[23]   TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES [J].
BECKMAN, L .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 :335-349
[24]   NARROWING AND RESOLUTION IN LOGIC-FUNCTIONAL PROGRAMMING-LANGUAGES [J].
GIOVANNETTI, E .
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 :30-30
[25]   EXPANDING QUERY POWER IN CONSTRAINT LOGIC PROGRAMMING-LANGUAGES [J].
MAHER, MJ ;
STUCKEY, PJ .
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, :20-36
[26]   PROGRAMMING-LANGUAGES [J].
DEPARIS, JR .
DATA PROCESSING, 1961, 3 (12) :36-&
[27]   STANDARDIZATION OF PROGRAMMING-LANGUAGES [J].
ODONOHOE, MR ;
HATFIELD, RW .
UNIVERSITY COMPUTING, 1989, 11 (02) :86-88
[28]   PROGRAMMING-LANGUAGES FOR MICROCOMPUTERS [J].
DOWSING, RD .
COMPUTER PHYSICS COMMUNICATIONS, 1982, 26 (1-2) :41-48
[29]   HOARE LOGIC FOR PROGRAMMING-LANGUAGES WITH 2 DATA-TYPES [J].
BERGSTRA, JA ;
TUCKER, JV .
THEORETICAL COMPUTER SCIENCE, 1984, 28 (1-2) :215-221
[30]   THE FUTURE OF PROGRAMMING-LANGUAGES [J].
BELSHER, JF .
BYTE, 1984, 9 (01) :32-32
12345