Formal semantics of a classical-quantum language

DOI10.1016/j.tcs.2022.02.017zbMath1483.68076arXiv2107.00804OpenAlexW4213264068MaRDI QIDQ2123052

Yuan Feng, Yu-xin Deng

Publication date: 7 April 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.00804

zbMATH Keywords

formal semanticscompletenesssoundnessclassical-quantum language

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A probabilistic PDL
• Semantics of probabilistic programs
• A proof system for disjoint parallel quantum programs
• Fifty years of Hoare's logic
• An assertion-based program logic for probabilistic programs
• Reasoning about probabilistic sequential programs
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• A Logic for Formal Verification of Quantum Programs
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Reasoning about Recursive Probabilistic Programs
• Abstraction, Refinement and Proof for Probabilistic Systems
• An axiomatic basis for computer programming