Predicate transformer semantics of quantum programs

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, M
dc.contributor.author Duan, R
dc.contributor.author Feng, Y
dc.date.accessioned 2011-02-07T06:17:14Z
dc.date.issued 2013-01-01
dc.identifier.citation Semantic Techniques in Quantum Computation, 2013, pp. 311 - 360
dc.identifier.isbn 9780521513746
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 Selinger’s suggestion of representing quantum programs by superoperators and elucidates D’Hondt-Panangaden’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 Birkhoff–von Neumann quantum logic by considering only quantum predicates expressed by projection operators. In particular, the universal conjunctivity and termination law of quantum programs are proved, and Hoare’s induction rule is established in the quantum setting.
dc.publisher Cambridge University Press
dc.relation.isbasedon 10.1017/CBO9781139193313.009
dc.title Predicate transformer semantics of quantum programs
dc.type Chapter
dc.parent Semantic Techniques in Quantum Computation
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 Quantum Information, Computation and Communication
dc.personcode 103396
dc.personcode 106353
dc.personcode 106439
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
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems
utslib.copyright.status Open Access
utslib.copyright.date 2015-04-15 12:23:47.074767+10
pubs.consider-herdc true
utslib.collection.history General (ID: 2)


Files in this item

This item appears in the following Collection(s)

Show simple item record