Commutativity of quantum weakest preconditions

被引：8

作者：

Ying, Mingsheng ^{[1
]}

Chen, Jianxin ^{[1
]}

Feng, Yuan ^{[1
]}

Duan, Runyao ^{[1
]}

机构：

[1] Tsinghua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China

来源：

INFORMATION PROCESSING LETTERS | 2007年 / 104卷 / 04期

基金：

中国国家自然科学基金;

关键词：

formal semantics; quantum program; Hermitian matrix; super-operator; weakest precondition;

D O I：

10.1016/j.ipl.2007.06.003

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science 16 (2006) 429-451], and they presented a representation of weakest precondition of a quantum program in the operator-sum form. In this Letter, we give an intrinsic characterization of the weakest precondition of a quantum program given in a system-environment model. Furthermore, some sufficient conditions for commutativity of quantum weakest preconditions are presented. (c) 2007 Elsevier B.V. All rights reserved.

引用

页码：152 / 158

页数：7

共 50 条

[11] Weakest preconditions for pure Prolog programs
Pedreschi, D
Ruggieri, S
INFORMATION PROCESSING LETTERS, 1998, 67 (03) : 145 - 150
[12] Snugglebug: A Powerful Approach To Weakest Preconditions
Chandra, Satish
Fink, Stephen J.
Sridharan, Manu
PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 363 - 374
[13] Snugglebug: A powerful approach to weakest preconditions
IBM T. J. Watson Research Center, United States
Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, (363-374):
[14] Weakest preconditions and cumulative subgoal fulfillment
Braude, Eric J.
SCIENCE OF COMPUTER PROGRAMMING, 2014, 89 : 223 - 234
[15] Snugglebug: A Powerful Approach To Weakest Preconditions
Chandra, Satish
Fink, Stephen J.
Sridharan, Manu
ACM SIGPLAN NOTICES, 2009, 44 (06) : 363 - 374
[16] A CATEGORICAL VIEW OF WEAKEST LIBERAL PRECONDITIONS
WAGNER, EG
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 198 - 205
[17] OPERATIONAL SEMANTICS AND GENERALIZED WEAKEST PRECONDITIONS
LUKKIEN, JJ
SCIENCE OF COMPUTER PROGRAMMING, 1994, 22 (1-2) : 137 - 155
[18] Weakest preconditions for high-level programs
Habel, Annegret
Pennemann, Karl-Heinz
Rensink, Arend
GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 445 - 460
[19] Creating vulnerability signatures using weakest preconditions
Brumley, David
Wang, Hao
Jha, Somesh
Song, Dawn
20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSFS20), PROCEEDINGS, 2007, : 311 - 325
[20] Formalizing counterexample-driven refinement with weakest preconditions
Ball, T
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS, 2005, 195 : 121 - 139

← 1 2 3 4 5 →