Invariants of quantum programs: characterisations and generation

Mingsheng Ying, Shenggang Ying, Xiaodi Wu. Invariants of quantum programs: characterisations and generation. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 818-832, ACM, 2017. [doi]

Authors

Mingsheng Ying

This author has not been identified. Look up 'Mingsheng Ying' in Google

Shenggang Ying

This author has not been identified. Look up 'Shenggang Ying' in Google

Xiaodi Wu

This author has not been identified. Look up 'Xiaodi Wu' in Google