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 条
  • [21] Pointer theory and weakest preconditions without addresses and heap
    Schieder, B
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 357 - 380
  • [22] Automated debugging using path-based weakest preconditions
    He, HF
    Gupta, N
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 267 - 280
  • [23] SOFTWARE FAULT-TREES AND WEAKEST PRECONDITIONS - A COMPARISON AND ANALYSIS
    CLARKE, SJ
    MCDERMID, JA
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 225 - 236
  • [24] Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs
    Luo, Hang
    Liu, Xue
    Chen, Xi
    Long, Ting
    Jiang, Ronghua
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (09) : 866 - 885
  • [25] WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
    Ye, Ding
    Su, Yu
    Sui, Yulei
    Xue, Jingling
    2014 IEEE 25TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2014, : 88 - 99
  • [26] Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODES
    Boreale, Michele
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 193
  • [27] Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S
    Boreale, Michele
    SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 442 - 455
  • [28] Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus
    Fares, Elie
    Bodeveix, Jean-Paul
    Filali, Mamoun
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, 2024, 15189 : 59 - 78
  • [29] An inference method of quasi-weakest preconditions by minimal unsatisfiable core enumeration
    Imai, Takeo
    Sakai, Masahiro
    Hagiya, Masami
    Computer Software, 2013, 30 (02) : 207 - 226
  • [30] Evolution of quantum observables: from non-commutativity to commutativity
    S. Fortin
    M. Gadella
    F. Holik
    M. Losada
    Soft Computing, 2020, 24 : 10265 - 10276
12345