Login / Signup

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

Yuan FengSanjiang Li
Published in: Inf. Comput. (2023)
Keyphrases
  • quantum computation
  • abstract interpretation
  • logic programming
  • logic circuits
  • database
  • high level
  • reasoning engine