Sign in

LintQ: A Static Analysis Framework for Qiskit Quantum Programs.

Matteo PaltenghiMichael Pradel
Published in: CoRR (2023)
Keyphrases
  • static analysis
  • abstract interpretation
  • probabilistic model
  • symbolic execution
  • relational databases
  • source code
  • database systems
  • domain knowledge
  • operating system
  • regular expressions
  • dynamic analysis