A Dynamic Logic for QASM Programs
A Dynamic Logic for QASM Programs
| dc.contributor.author | Carlos Eduardo Tavares | en |
| dc.contributor.other | 4852 | en |
| dc.date.accessioned | 2020-11-25T16:24:56Z | |
| dc.date.available | 2020-11-25T16:24:56Z | |
| dc.date.issued | 2019 | en |
| dc.description.abstract | We define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a probabilistic semantics to the classical part. We exercise it with the quantum coin toss program. © 2020, Springer Nature Switzerland AG. | en |
| dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/11786 | |
| dc.identifier.uri | http://dx.doi.org/10.1007/978-3-030-38808-9_13 | en |
| dc.language | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | A Dynamic Logic for QASM Programs | en |
| dc.type | Publication | en |
| dc.type | conferenceObject | en |
Files
Original bundle
1 - 1 of 1