Structural Parallelism in Quantum Programs
This paper identifies and formalizes a new form of parallelism emerging from the semantic structure of quantum programs, by precisely tracking the semantic lifetime of temporary variables, and shows that lifetime-guided reclamation induces a contraction of these regions, collapsing temporary subcomputations into locall...