Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verification Logics for Quantum Programs   We survey the landscape of Hoare logics for quantum programs. We review three
papers: "Reasoning about imperative quantum programs" by Chadha, Mateus and
Sernadas; "A logic for formal verification of quantum programs" by Yoshihiko
Kakutani; and "Floyd-hoare logic for quantum programs" by Mingsheng Ying. We
compare the mathematical foundations of the logics, their underlying languages,
and the expressivity of their assertions. We also use the languages to verify
the Deutsch-Jozsa Algorithm, and discuss their relative usability in practice.

30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int