Predicate Transformer Semantics of Quantum Programs

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, Mingsheng en_US
dc.contributor.author Duan, Runyao en_US
dc.contributor.author Feng, Yuan en_US
dc.contributor.author Ji, Zhengfeng en_US
dc.contributor.editor Simon Gay, Ian Mackie en_US
dc.date.accessioned 2011-02-07T06:17:14Z
dc.date.available 2011-02-07T06:17:14Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10453/12965
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
dc.cauo.name 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
dc.classification.name Quantum Information, Computation and Communication en_US
dc.classification.type FOR-08 en_US
dc.edition 1 en_US
dc.custom en_US
dc.date.activity 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