Our first property uses the notion of capture introduced by Dufour et al. We define the capture of a function invocation fi as the set of all objects allocated by fi and its descendents whose lifetimes end before fi returns. [0]

[0] Shankar, Ajeet, Matthew Arnold, and Rastislav Bodik. “Jolt: lightweight dynamic analysis and removal of object churn.” ACM Sigplan Notices 43.10 (2008): 127-142.