This work focuses on quantumprogramming language and logics for quantum programs. We extend the standard quantumprogramming language with a parallel operator and an await command. Our extended quantum dynamic logic ...
详细信息
ISBN:
(纸本)9789819603534;9789819603541
This work focuses on quantumprogramming language and logics for quantum programs. We extend the standard quantumprogramming language with a parallel operator and an await command. Our extended quantum dynamic logic provides a more robust framework for reasoning about the behaviors and properties of quantum programs that utilize these new constructs. These new features enhance the language's capability to handle concurrent quantum operations and synchronization, enabling more advanced and efficient quantum computations.
暂无评论