{"id":"arxiv/2603.14538","url":"https://arxiv.org/abs/2603.14538","tags":["quant-ph","cs.PL"],"score":0,"title":"Reversible Lifetime Semantics for Quantum Programs","domain":"quant-ph","source":"arxiv","authors":["Simone Faro","Francesco Pio Marino","Gabriele Messina"],"reviews":0,"subject":"quant-ph","summary":"Reversible computation requires that intermediate data be explicitly undone rather than discarded. In quantum programming, this principle appears as uncomputation, usually treated as a technical cleanup mechanism. We instead present uncomputation as a semantic foundation. In the Qutes language, we introduce a formal model of \\emph{Scope-Bounded Liveness-Guided Uncomputation}, where lexical scope bounds variable lifetime and static liveness and entanglement analysis determine the earliest safe reclamation point. We define semantic lifetime and a Restoration Invariant ensuring that temporary…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-03-15","reactions":{}}