Lifetime analysis for procedure parameters (1986)

by U Kastens, M Schmidt
Venue:In ESOP 86, LNCS