Formal semantics of a classical-quantum language (Q2123052): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2022.02.017
@@ Property / DOI: 10.1016/j.tcs.2022.02.017 / rank @@
-Normal rank
@@ Property / author @@
-Yu-xin Deng
@@ Property / author: Yu-xin Deng / rank @@
-Normal rank
@@ Property / author @@
+Yu-xin Deng
@@ Property / author: Yu-xin Deng / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4213264068
@@ Property / OpenAlex ID: W4213264068 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00804
@@ Property / arXiv ID: 2107.00804 / rank @@
+Normal rank
@@ Property / cites work @@
+Fifty years of Hoare's logic
@@ Property / cites work: Fifty years of Hoare's logic / rank @@
+Normal rank
@@ Property / cites work @@
+An assertion-based program logic for probabilistic programs
+Normal rank
@@ Property / cites work @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs
@@ Property / cites work: Reasoning about probabilistic sequential programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851315
@@ Property / cites work: Q2851315 / rank @@
+Normal rank
@@ Property / cites work @@
+VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for Formal Verification of Quantum Programs
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Recursive Probabilistic Programs
@@ Property / cites work: Reasoning about Recursive Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for disjoint parallel quantum programs
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2022.02.017
@@ Property / DOI: 10.1016/J.TCS.2022.02.017 / rank @@
+Normal rank