Tag
borrow-checking
- 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
- 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