In this paper, we investigate the fundamental laws of quantum programming. We extend a
comprehensive set of Hoare et al.'s basic laws of classical programming to the quantum …