Browsing Book Chapters by Author "Ji, Zhengfeng"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Book Chapters by Author "Ji, Zhengfeng"

Sort by: Order: Results:

  • 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 ...