Artículo:

Local reasoning about a copying garbage collector

Autor:

Noah Torp-Smith

Lars Birkedal

John C. Reynolds:

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

4

Periodo:

Julio 2008

ISSN:

01640925

SrcID:

01640925-2008-04.txt