Relational proofs for quantum programs

Barthe, G Hsu, J Ying, M

Yu, N

Zhou, L

Permalink

Publisher:: Association for Computing Machinery (ACM)
Publication Type:: Journal Article
Citation:: Proceedings of the ACM on Programming Languages, 2020, 4, (POPL), pp. 1-29
Issue Date:: 2020-01

Open Access

Copyright Clearance Process

This item is open access.

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Barthe, G
dc.contributor.author	Hsu, J
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X
dc.contributor.author	Yu, N https://orcid.org/0000-0003-1188-3032
dc.contributor.author	Zhou, L
dc.date.accessioned	2020-05-11T02:30:50Z
dc.date.available	2020-05-11T02:30:50Z
dc.date.issued	2020-01
dc.identifier.citation	Proceedings of the ACM on Programming Languages, 2020, 4, (POPL), pp. 1-29
dc.identifier.issn	2475-1421
dc.identifier.issn	2475-1421
dc.identifier.uri	http://hdl.handle.net/10453/140617
dc.language	en
dc.publisher	Association for Computing Machinery (ACM)
dc.relation	http://purl.org/au-research/grants/arc/DP160101652
dc.relation	http://purl.org/au-research/grants/arc/DP180100691
dc.relation.ispartof	Proceedings of the ACM on Programming Languages
dc.relation.isbasedon	10.1145/3371089
dc.rights	info:eu-repo/semantics/openAccess
dc.rights	info:eu-repo/semantics/openAccess
dc.title	Relational proofs for quantum programs
dc.type	Journal Article
utslib.citation.volume	4
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
pubs.organisational-group	/University of Technology Sydney
utslib.copyright.status	open_access	*
dc.date.updated	2020-05-11T02:30:35Z
pubs.issue	POPL
pubs.publication-status	Published
pubs.volume	4
utslib.start-page	1
utslib.citation.issue	POPL

Please use this identifier to cite or link to this item: