Capture
Our first property uses the notion of capture introduced by Dufour et al. We define the capture of a function invocation as the set of all objects allocated by and its descendents whose lifetimes end before 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.