Login / Signup

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit.

Matteo PaltenghiMichael Pradel
Published in: Proc. ACM Softw. Eng. (2024)
Keyphrases
  • static analysis
  • abstract interpretation
  • data sets
  • dynamic analysis
  • regular expressions