Better static memory management: Improving region-based analysis of higher-order languages (1995)

by Alexander Aiken, Manuel Fähndrich, Raph Levien
Venue:In ACM Conference on Programming Language Design and Implementation