Predicate Transformer Semantics of Quantum Programs

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Show simple item record Ying, Mingsheng en_US Duan, Runyao en_US Feng, Yuan en_US Ji, Zhengfeng en_US
dc.contributor.editor Simon Gay, Ian Mackie en_US 2011-02-07T06:17:14Z 2011-02-07T06:17:14Z 2010 en_US
dc.identifier 2008004719 en_US
dc.identifier.citation Ying Mingsheng et al. 2010, 'Predicate Transformer Semantics of Quantum Programs', in NA (ed.), Cambridge University Press, Cambridge, pp. 311-360. en_US
dc.identifier.issn 978-0-521-51374-6 en_US
dc.identifier.other B1 en_US
dc.description.abstract This chapter presents a systematic exposition of predicate transformer semantics for quantum programs. It is divided into two parts: The first part reviews the state transformer (forward) semantics of quantum programs according to Selingera??s suggestion of representing quantum programs by superoperators and elucidates Da??Hondt-Panangadena??s theory of quantum weakest preconditions in detail. In the second part, we develop a quite complete predicate transformer semantics of quantum programs based on Birkhoffa??von Neumann quantum logic by considering only quantum predicates expressed by projection operators. In particular, the universal coujunctivity and termination law of quantum programs are proved, and Hoarea??s induction rule is established in the quantum setting. en_US
dc.language en_US
dc.publisher Cambridge University Press en_US
dc.relation.isbasedon NA en_US
dc.title Predicate Transformer Semantics of Quantum Programs en_US
dc.parent Semantic Techniques in Quantum Computation en_US
dc.journal.volume en_US
dc.journal.number en_US
dc.publocation Cambridge en_US
dc.identifier.startpage 311 en_US
dc.identifier.endpage 360 en_US FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 020603 en_US
dc.personcode 103396 en_US
dc.personcode 106353 en_US
dc.personcode 106439 en_US
dc.personcode 0000049993 en_US
dc.percentage 100 en_US Quantum Information, Computation and Communication en_US
dc.classification.type FOR-08 en_US
dc.edition 1 en_US
dc.custom en_US en_US
dc.location.activity en_US
dc.description.keywords NA en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record