LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...
Abstract: The quality of modern software relies heavily on the effective use of static code analysis tools. To improve their usefulness, these tools should be evaluated using a framework that ...
Abstract: Static analysis (SA) tools can generate useful static warnings to reveal the problematic code snippets in a software system without dynamically executing the corresponding source code. In ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results