Reverse Hoare Logic (Q3095238): Difference between revisions

@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Ten years of Hoare's logic: A survey. II: Nondeterminism
+Normal rank
@@ Property / cites work @@
+Downward refinement and the efficiency of hierarchical problem solving
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs
@@ Property / cites work: Reasoning about probabilistic sequential programs / rank @@
+Normal rank
@@ Property / cites work @@
+Program inversion: More than fun!
@@ Property / cites work: Program inversion: More than fun! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501575
@@ Property / cites work: Q4501575 / 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 @@
+An axiomatic definition of the programming language Pascal
+Normal rank
@@ Property / cites work @@
+An observationally complete program logic for imperative higher-order functions
+Normal rank
@@ Property / cites work @@
+Hoare logic and auxiliary variables
@@ Property / cites work: Hoare logic and auxiliary variables / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphism and separation in hoare type theory
@@ Property / cites work: Polymorphism and separation in hoare type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Program inversion in the refinement calculus
@@ Property / cites work: Program inversion in the refinement calculus / rank @@
+Normal rank