3 citations · 7 across the 17 of their papers we have counts for
4 papers · 1 filter
Symbolic Specification and Reasoning for Quantum Data and Operations
Mingsheng Ying
In quantum information and computation research, symbolic methods have been widely used for human specification and reasoning about quantum states and operations. At the same time,…
Laws of Quantum Programming
Mingsheng Ying, Li Zhou, Gilles Barthe
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 settin…
A Practical Quantum Hoare Logic with Classical Variables, I
Mingsheng Ying
In this paper, we present a Hoare-style logic for reasoning about quantum programs with classical variables. Our approach offers several improvements over previous work: (1) Enhanc…
Quantum Recursive Programming with Quantum Case Statements
Mingsheng Ying, Zhicheng Zhang
We introduce a novel scheme of quantum recursive programming, in which large unitary transformations, i.e. quantum gates, can be recursively defined using quantum case statements,…