A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xuan Bach Le, Shang-Wei Lin 0001, Jun Sun 0001, David Sanán. A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proceedings of the ACM on Programming Languages, 6(POPL):1-27, 2022. [doi]

This author has not been identified. Look up 'Xuan Bach Le' in GoogleThis author has not been identified. Look up 'Shang-Wei Lin 0001' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'David Sanán' in Google

runs on WebDSL