Please use this identifier to cite or link to this item:
Title: A Dynamic Logic for QASM Programs
Authors: Carlos Eduardo Tavares
Issue Date: 2019
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.
metadata.dc.type: Publication
Appears in Collections:HASLab - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00R-QPV.pdf344.39 kBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.