当前位置:
X-MOL 学术
›
arXiv.cs.PL
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Formal Methods for Quantum Programs: A Survey
arXiv - CS - Programming Languages Pub Date : 2021-09-14 , DOI: arxiv-2109.06493 Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
arXiv - CS - Programming Languages Pub Date : 2021-09-14 , DOI: arxiv-2109.06493 Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
While recent progress in quantum hardware open the door for significant
speedup in certain key areas (cryptography, biology, chemistry, optimization,
machine learning, etc), quantum algorithms are still hard to implement right,
and the validation of such quantum programs is achallenge. Moreover, importing
the testing and debugging practices at use in classical programming is
extremely difficult in the quantum case, due to the destructive aspect of
quantum measurement. As an alternative strategy, formal methods are prone to
play a decisive role in the emerging field of quantum software. Recent works
initiate solutions for problems occurring at every stage of the development
process: high-level program design, implementation, compilation, etc. We review
the induced challenges for an efficient use of formal methods in quantum
computing and the current most promising research directions.
中文翻译:
量子程序的正式方法:调查
虽然量子硬件的最新进展为某些关键领域(密码学、生物学、化学、优化、机器学习等)的显着加速打开了大门,但量子算法仍然难以正确实施,并且此类量子程序的验证具有挑战性。此外,由于量子测量的破坏性,在量子案例中导入经典编程中使用的测试和调试实践是极其困难的。作为一种替代策略,形式化方法倾向于在新兴的量子软件领域发挥决定性作用。最近的工作为在开发过程的每个阶段出现的问题启动了解决方案:高级程序设计、实现、编译等。
更新日期:2021-09-15
中文翻译:
量子程序的正式方法:调查
虽然量子硬件的最新进展为某些关键领域(密码学、生物学、化学、优化、机器学习等)的显着加速打开了大门,但量子算法仍然难以正确实施,并且此类量子程序的验证具有挑战性。此外,由于量子测量的破坏性,在量子案例中导入经典编程中使用的测试和调试实践是极其困难的。作为一种替代策略,形式化方法倾向于在新兴的量子软件领域发挥决定性作用。最近的工作为在开发过程的每个阶段出现的问题启动了解决方案:高级程序设计、实现、编译等。