文献

J-GLOBAL ID：202202288600276071   整理番号：22A0004626

互いに素な並列量子プログラムのための証明システム【JST・京大機械翻訳】

A proof system for disjoint parallel quantum programs

著者 (5件)： Ying Mingsheng (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China) ,  Ying Mingsheng (Department of Computer Science and Technology, Tsinghua University, China) ,  Zhou Li (Max Planck Institute for Security and Privacy, Germany) ,  Li Yangjia (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China) ,  Feng Yuan (Centre for Quantum Software and Information, University of Technology Sydney, Australia)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 897  ページ： 164-184  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,並列量子プログラム,即ち,並列量子プログラムの特殊クラスの操作的および記述的意味論を定義した。それらに基づいて,互いに素な並列量子プログラムに関する推論のための証明システムを開発し,それは,異なる過程の間のからみ合が前提条件とポスト条件に現れるときでさえ,(相対的に)完全であった。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論

著者キーワード (4件)： 量子プログラミング ,  量子Hoare論理 ,  並列プログラム ,  エンタングルメント

分類 (2件)： 計算理論  (JB02000A) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (2件)： 量子 ,  証明