Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.

Yuan Feng Sanjiang Li

Published in: CoRR (2022)

Keyphrases

abstract interpretation
quantum computation
active rules
termination analysis
databases
information systems
logic programming
logic circuits