Book
Open access
Oct 2026
Quantum Computing and Static Analysis: State of the Art and Research Opportunities
Due to its fast evolution, quantum computing is increasingly becoming a software problem, one that requires particular care because of the intrinsic peculiarities of quantum programs. Static analysis for quantum programs is still in its infancy. It has produced both principled semantic techniques and practical pattern-...
Greta Dolcetti, Giulio Zizzo, V. Arceri et al.
· 0 citations