Ying Mingsheng; Duan Runyao; Feng Yuan; Ji Zhengfeng
(Cambridge University Press, 2010)
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 ...