10 citations · 17 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 10 cited
Symbolic Reasoning about Quantum Circuits in Coq
Wenjun Shi, Qinxiang Cao, Yuxin Deng +2
A quantum circuit is a computational unit that transforms an input quantum state to an output one. A natural way to reason about its behavior is to compute explicitly the unitary m…
cs.PL2019★ 6 cited
Proof Pearl: Magic Wand as Frame
Qinxiang Cao, Shengyi Wang, Aquinas Hobor +1
Separation logic adds two connectives to assertion languages: separating conjunction * ("star") and its adjoint, separating implication -* ("magic wand"). Comparatively, separating…