Reversible Lifetime Semantics for Quantum Programs
Ce papier présente le langage Qutes, qui fonde la sémantique des programmes quantiques sur une uncomputation guidée par la durée de vie des variables, permettant une réclamation précoce des qubits, une réduction de la profondeur des circuits et une gestion unifiée des paramètres de fonction tout en garantissant l'invariance de restauration.