.png){kind=icon}
返回
Challenges in Quantum Programs Analysis
.png){kind=icon}
PRE
AI
DOI：10.1007/s10009-026-00845-1.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
量子技术的快速发展，得益于学术界和工业界的共同努力，推动了量子编程语言的设计以及支持其验证和优化方法的发展。与经典设置类似，静态分析在此类努力中扮演着基础性角色。本文对文献中提出的量子程序静态分析方法进行了综述，区分了基于程序信息流图表示的数据流导向方法，以及本质上通过定义适当抽象域来表示待分析程序属性的领域导向方法。为具体说明这两种视角，我们还详细介绍了两种特定分析：一种用于管理量子变量和取消计算的数据流分析，以及一种基于抽象解释以检测状态纠缠的静态分析。
Keyword:
Quantum Programming Languages
Survey
Abstract Interpretation
Static Analysis
Formal Verification
期刊
I
IF:
1.4
论文数:
38
被引数:
842
机构
引用论文
暂无论文信息