Author:
Ying Shenggang,Ying Mingsheng
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference44 articles.
1. Quantum programming;Sanders,2000
2. Towards a quantum programming language;Selinger;Math. Struct. Comput. Sci.,2004
3. Quantum weakest preconditions;D'Hondt;Math. Struct. Comput. Sci.,2006
4. Floyd–Hoare logic for quantum programs;Ying;ACM Trans. Program. Lang. Syst.,2012
5. Quipper: a scalable quantum programming language;Green,2013
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum temporal logic and reachability problems of matrix semigroups;Information and Computation;2024-10
2. Termination and Universal Termination Problems for Nondeterministic Quantum Programs;ACM Transactions on Software Engineering and Methodology;2024-09-02
3. A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
4. Quantum Reachability Games;IEEE Transactions on Emerging Topics in Computational Intelligence;2024
5. References;Foundations of Quantum Programming;2024