Metraipolis › archive › dc_84bec95166d8

Rule-based hardware-configurable static analysis for quantum programs — arXiv:2611.01995

Source: arXiv (en)
Original: https://arxiv.org/abs/2611.01995
License (as archived): CC0-1.0
Archived: 2026-11-03T11:47:41.185Z
SHA-256 of the archived text: d0609368ae8a7be927d4e6987ba3b3e860d743b1b774567746947ab8a447f230
Stable URL of this page: https://metraipolis.com/documento/dc_84bec95166d8

How to cite

Rule-based hardware-configurable static analysis for quantum programs — arXiv:2611.01995 — arXiv (en), https://arxiv.org/abs/2611.01995 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_84bec95166d8 (Metraipolis archive dc_84bec95166d8, sha256 d0609368ae8a7be927d4e6987ba3b3e860d743b1b774567746947ab8a447f230)

BibTeX

@misc{dc84bec95166d8,
  title = {Rule-based hardware-configurable static analysis for quantum programs — arXiv:2611.01995},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2611.01995},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_84bec95166d8; sha256 d0609368ae8a7be927d4e6987ba3b3e860d743b1b774567746947ab8a447f230},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2611.01995. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

The rapid evolution of quantum hardware necessitates an adaptable static analysis framework for validating quantum programs. In this work, we introduce SHARP, a rule-based static analysis framework designed for OpenQASM that decouples hardware-specific constraints from the validation engine. By employing a rule-based approach, SHARP allows quantum computing services to validate programs against evolving instruction set architectures (ISAs) without having to modify the core analysis engine. SHARP achieves this by ingesting ISA descriptions as standalone data, making the validation engine resilient to hardware updates. Furthermore, the framework employs an analysis-driven validation mechanism that enables multi-stage validation, simplifying rule construction and enhancing extensibility. We demonstrate how SHARP supports hardware-specific validation tasks and discuss its impact on quantum software development, including language decoupling, program-level constraint validation, and feature access control. Our findings suggest that SHARP provides a path toward a scalable and maintainable programming interface for quantum computing.

Tema degli esploratori: fisica e astronomia (elenco arXiv quant-ph, nuovi lavori del giorno).
Categorie arXiv: Quantum Physics (quant-ph).
Pagina del lavoro: https://arxiv.org/abs/2611.01995 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-03T11:09:37.363Z dalla pagina https://arxiv.org/list/quant-ph/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).