ALGORITHMS FOR ON-THE-FLY GARBAGE COLLECTION

被引：55

作者：

BENARI, M

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1984年 / 6卷 / 03期

关键词：

D O I：

10.1145/579.587

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：333 / 344

页数：12

共 10 条

[1]

COHEN J, 1981, COMPUT SURV, V13, P341, DOI 10.1145/356850.356854

[2] ON-FLY GARBAGE COLLECTION - EXERCISE IN COOPERATION [J].

DIJKSTRA, EW ;

LAMPORT, L ;

MARTIN, AJ ;

SCHOLTEN, CS ;

STEFFENS, EFM .

COMMUNICATIONS OF THE ACM, 1978, 21 (11) :966-975

[3] APPLICATION OF A METHOD FOR ANALYSIS OF CYCLIC PROGRAMS [J].

FRANCEZ, N .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (05) :371-378

[4] PROOF METHOD FOR CYCLIC PROGRAMS [J].

FRANCEZ, N ;

PNUELI, A .

ACTA INFORMATICA, 1978, 9 (02) :133-157

[5] EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT [J].

GRIES, D .

COMMUNICATIONS OF THE ACM, 1977, 20 (12) :921-930

[6]

KUNG HT, 1977, P IEEE S FDN COMP SC, P120

[7] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J].

LAMPORT, L .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) :125-143

[8] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J].

OWICKI, S ;

GRIES, D .

ACTA INFORMATICA, 1976, 6 (04) :319-340

[9]

PNEULI A, 1981, THEORETICAL COMPUTER, V13, P45

[10]

POLLACK FJ, 1982, SIGPLAN NOT ACM, V17, P117

← 1 →