Quantum Abstract Interpretation

(abstract to be updated shortly)