Relational proofs for quantum programs. BartheGilles, HsuJustin, YingMingsheng, YuNengkun, & ZhouLi Proceedings of the ACM on Programming Languages, December, 2019. ZSCC: NoCitationData[s0]
Relational proofs for quantum programs [link]Paper  abstract   bibtex   
Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The i...
@article{barthegilles_relational_2019,
	title = {Relational proofs for quantum programs},
	url = {https://dl.acm.org/doi/abs/10.1145/3371089},
	abstract = {Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The i...},
	language = {EN},
	urldate = {2020-01-04},
	journal = {Proceedings of the ACM on Programming Languages},
	author = {BartheGilles and HsuJustin and YingMingsheng and YuNengkun and ZhouLi},
	month = dec,
	year = {2019},
	note = {ZSCC: NoCitationData[s0]},
	keywords = {⛔ No DOI found}
}

Downloads: 0