Sign in
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.
Yuan Feng
Sanjiang Li
Published in:
Inf. Comput. (2023)
Keyphrases
</>
quantum computation
abstract interpretation
logic programming
logic circuits
database
high level
reasoning engine