A Dynamic Logic for QASM Programs
A Dynamic Logic for QASM Programs
Date
2019
Authors
Carlos Eduardo Tavares
Journal Title
Journal ISSN
Volume Title
Publisher
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.