Tag
lifetimes
- Feb 3, 2026 Borrow Checking as a Dataflow Analysis Over Places How a lifetime check becomes a liveness problem on a control-flow graph, why non-lexical lifetimes removed a class of false errors, and where the analysis still gives up. programming languages
- Apr 3, 2025 Stack Frames and the Lifetime of an Automatic Variable How a function call turns scope into a pointer adjustment, what the frame really holds, and why a local object dies exactly when its block exits. programming languages
- Jul 22, 2024 Ownership and Borrowing as a Static Lifetime Proof How move semantics, exclusive borrows, and non-lexical lifetimes let a compiler prove that no pointer outlives its referent, and where the proof stops being able to help. memory systems