Foundations of Quantum Programming

Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University. He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing. He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).

Part I Introduction and Preliminaries1 Introduction 2 Preliminaries

Part II Quantum Programs with Classical Control3 Syntax and Semantics of Quantum Programs 4 Logic for Quantum Programs 5 Analysis of Quantum Programs

Part III Quantum Programs with Quantum Control6 Quantum Case Statements 7 Quantum Recursion

Part IV Prospects8 Prospects