Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11786
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.
URI: http://repositorio.inesctec.pt/handle/123456789/11786
http://dx.doi.org/10.1007/978-3-030-38808-9_13
metadata.dc.type: Publication
conferenceObject
Appears in Collections:HASLab - Indexed Articles in Conferences

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


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