A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | IEEE Conference Publication | IEEE Xplore