Floyd-hoare Logic For Quantum Programs

Association for Computing Machinery, Inc
Publication Type:
Journal Article
ACM Transactions pn Programming Language and Systems (TOPLAS), 2011, 33 (6), pp. 1 - 49
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2011003646OK.pdf568.63 kB
Adobe PDF
Floyd-Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a
Please use this identifier to cite or link to this item: