我们的量子汇编解析器已更新至 QASM 3.0 规范
Computer Science > Programming Languages
arXiv:2412.12578 (cs) [Submitted on 17 Dec 2024]
Title:Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
查看由 Sean Kim 和其他 1 位作者撰写的题为《Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0》的论文的 PDF 版本。 View PDF HTML (experimental)
摘要：OpenQASM 3.0 规范中混合量子-经典计算模型的独特之处，促使我们使用新的方法来进行量子程序验证。我们使用 TypeScript 实现了一个类型化的 QASM 3.0 解析器，以实现验证和确认软件、编译器等。我们还建议在类型理论符号中对 OpenQASM 3.0 的类型系统进行形式化处理，这可能进一步促进形式验证。为此，我们重点介绍了自 Quantum Hoare Logic 以来，混合量子-经典计算方面的进展。 Subjects: | Programming Languages (cs.PL); Quantum Physics (quant-ph) ---|--- Cite as: | arXiv:2412.12578 [cs.PL] (or arXiv:2412.12578v1 [cs.PL] for this version) https://doi.org/10.48550/arXiv.2412.12578 Focus to learn more arXiv-issued DOI via DataCite
Submission history
From: Marcus Edwards [view email] [v1] Tue, 17 Dec 2024 06:13:31 UTC (29 KB) Full-text links:
Access Paper:
View a PDF of the paper titled Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0, by Sean Kim and 1 other authors