Invariants of quantum programs: characterisations and generation

DOI10.1145/3009837.3009840zbMath1380.68135OpenAlexW2562491126WikidataQ130921519 ScholiaQ130921519MaRDI QIDQ5370916

Ming Sheng Ying, Shenggang Ying, Xiaodi Wu

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10453/127333

zbMATH Keywords

partial correctnessinvariant generationquantum programminginductive assertionsprogram invariants

Mathematics Subject Classification ID

Quantum computation (81P68) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Unnamed Item ⋮ Toward automatic verification of quantum programs ⋮ An automated deductive verification framework for circuit-building quantum programs

This page was built for publication: Invariants of quantum programs: characterisations and generation