共 35 条
[31]
Ying M., 2014, arXiv
[33]
Floyd-Hoare Logic for Quantum Programs
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2011, 33 (06)
[34]
Quantum Abstract Interpretation
[J].
PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21),
2021,
:542-558
[35]
An Applied Quantum Hoare Logic
[J].
PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19),
2019,
:1149-1162