PROGRAMMING BY MULTISET TRANSFORMATION

被引：137

作者：

BANATRE, JP ^{[1
]}

LEMETAYER, D ^{[1
]}

机构：

[1] INSA,RENNES,FRANCE

来源：

关键词：

GAMMA; LOCALITY; LOGICAL PARALLELISM; NONDETERMINISM; PROGRAM CONSTRUCTION; UNITY;

D O I：

10.1145/151233.151242

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：98 / 111

页数：14

共 19 条

[1] Parallel machine for multiset transformation and its programming style
Banatre, J.-P.
Coutant, A.
Le Metayer, D.
[J]. Future Generation Computer Systems, 1988, 4 (02) : 133 - 144
[2] THE GAMMA MODEL AND ITS DISCIPLINE OF PROGRAMMING
BANATRE, JP
LEMETAYER, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 15 (01) : 55 - 77
[3] Ben-Ari M., 1982, PRINCIPLES CONCURREN
[4] BERRY G, 1990, P POPL 90, P81, DOI DOI 10.1145/96709.96717
[5] LINDA IN CONTEXT
CARRIERO, N
GELERNTER, D
[J]. COMMUNICATIONS OF THE ACM, 1989, 32 (04) : 444 - 458
[6] CHANDY M, 1988, PARALLEL PROGRAM DES
[7] CREVEUIL C, 1989, INRIA1049 RES REP
[8] HUMBLE PROGRAMER
DIJKSTRA, EW
[J]. COMMUNICATIONS OF THE ACM, 1972, 15 (10) : 859 - &
[9] Dijkstra EW, 1976, DISCIPLINE PROGRAMMI
[10] DROMEY RG, 1989, PROGRAM DERIVATION