PROGRAMMING BY MULTISET TRANSFORMATION

被引：137

作者：

BANATRE, JP ^{[1
]}

LEMETAYER, D ^{[1
]}

机构：

[1] INSA,RENNES,FRANCE

来源：

COMMUNICATIONS OF THE ACM | 1993年 / 36卷 / 01期

关键词：

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 [J].

Banatre, J.-P. ;

Coutant, A. ;

Le Metayer, D. .

Future Generation Computer Systems, 1988, 4 (02) :133-144

[2] THE GAMMA MODEL AND ITS DISCIPLINE OF PROGRAMMING [J].

BANATRE, JP ;

LEMETAYER, D .

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 [J].

CARRIERO, N ;

GELERNTER, D .

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 [J].

DIJKSTRA, EW .

COMMUNICATIONS OF THE ACM, 1972, 15 (10) :859-&

[9]

Dijkstra EW, 1976, DISCIPLINE PROGRAMMI

[10]

DROMEY RG, 1989, PROGRAM DERIVATION

← 1 2 →