English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Communities & Collections
All of DSpace
English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Home
Centres
HASLab
HASLab - Indexed Articles in Conferences
Browse by Author
HASLab - Indexed Articles in Conferences
Permanent URI for this collection
http://localhost:4000/handle/123456789/176
Browse
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Browsing HASLab - Indexed Articles in Conferences by Author "4852"
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
(Choose start)
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Browse
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Item
A Dynamic Logic for QASM Programs
(
2019
)
Carlos Eduardo Tavares
;
4852
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.
Previous
Next