Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Wolfram Kahl
◽
Christopher K. Anand
◽
Jacques Carette
1983 ◽
Vol 8
(1)
◽
pp. 27-45
◽
Peter M. Maurer
◽
Arthur E. Oldehoeft
Azadeh Farzan
◽
Zachary Kincaid
◽
Andreas Podelski
D. Gomez-Prado
◽
Q. Ren
◽
M. Ciesielski
◽
J. Guillot
◽
E. Boutillon
2013 ◽
Vol 48
(1)
◽
pp. 129-142
◽
Azadeh Farzan
◽
Zachary Kincaid
◽
Andreas Podelski
A.H. Ghamarian
◽
M.C.W. Geilen
◽
T. Basten
◽
B.D. Theelen
◽
M.R. Mousavi
◽
...
Roberto Medina
◽
Etienne Borde
◽
Laurent Pautet
Geert Janssen
◽
Vladimir Zolotov
◽
Tung D. Le
J. Siddhiwala
◽
Liang-Fang Chao
Awni Itradat
◽
M. O. Ahmad
◽
Ali Shatnawi