# Capture

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