arrow
返回

A Flowchart Language for Quantum Programming

delete2011-07-01
delete20
PRE
AI
M
Mingsheng Ying *
Y
Yuan Feng
DOI:10.1109/TSE.2010.94delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of high-level quantum languages and in design of quantum compilers. The formal semantics of the flowchart language is given, and the notion of correctness for programs written in this language is introduced. A structured quantum programming theorem is presented, which provides a technique of translating quantum flowchart programs into programs written in a high-level language, namely, a quantum extension of the while-language.
Keyword:
Quantum programming
flowchart language
while-language
structured programming
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.8K
被引数:
1.1W

机构

U
university of technology sydney
学者数:
1.6W
论文数: 2.0W
被引数: 25
引用论文

引用论文

err分享
err收藏
Wound healing complications in patients with and without systemic diseases following hallux valgus surgery
err2018-06-01
err0
errOAAI
errJustyna Kromuszczyńska; Łukasz Kołodziej; Alina Jurewicz
err分享
err收藏
Unimodality of differences
err1983-12-01
err0
PREAI
errH. Vogt
err分享
err收藏
Market access pathways for cell therapies in France
err2015-11-18
err0
errOAAI
errCécile Rémuzat; Mondher Toumi; Jesper Jørgensen; Panos Kefalas
err分享
err收藏
Caesarean section provision and readiness in Tanzania: analysis of cross-sectional surveys of women and health facilities over time
err2018-10-04
err0
errOAAI
errFrancesca L Cavallaro; Andrea B Pembe; Oona Campbell; Claudia Hanson; Vandana Tripathi; Kerry LM Wong; Emma Radovich; Lenka Benova
err分享
err收藏
err分享
err收藏
学者 查看更多内容