On the Potential of Quantum Computing in Classical Program Analysis

Yicheng Guang, Pietro Zanotta, Kai Zhou +2

Classical program analysis techniques, such as abstract interpretation and symbolic execution, are essential for ensuring software correctness, optimizing performance, and enabling…