Invariants of quantum programs: characterisations and generation-Reference-Cited by-同舟云学术

Invariants of quantum programs: characterisations and generation

Published:2017-01 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Ying Mingsheng¹,Ying Shenggang²,Wu Xiaodi³

Affiliation:

1. University of Technology Sydney, Australia / Tsinghua University, China / Institute of Software at Chinese Academy of Sciences, China

2. University of Technology Sydney, Australia

3. University of Oregon, USA

Funder

Key Research Program of Frontier Sciences, CAS

Australian Research Council

Publisher

ACM

Link

Reference51 articles.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Differentiable Quantum Programming with Unbounded Loops;ACM Transactions on Software Engineering and Methodology;2023-11-23

3. Software engineering for 'quantum advantage';Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27

4. On the principles of differentiable quantum programming languages;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

5. Statistical assertions for validating patterns and finding bugs in quantum programs;Proceedings of the 46th International Symposium on Computer Architecture;2019-06-22