Program logics in the presence of garbage collection (abstract (2001)

by C Calcagno
Venue:IT University of Copenhagen