Predicative Quantum Programming

作     者：Tafliovich, Anya 

作者单位：University of Toronto 

学位级别：doctor

导师姓名：Eric C. R. Hehner

授予年度：2010年

主      题：formal methods software engineering programming methodologies quantum computing 

摘      要：This work presents Quantum Predicative Programming ?– a theory ofquantum programming that encompasses many aspects of quantum computation and quantum communication. The theory provides amethodology to specify, implement, and analyse quantum algorithms, the paradigm of quantum non-locality, quantum pseudotelepathygames, computing with mixed states, and quantum communication protocols that use both quantum and classical communication channels