The weakest precondition calculus: Recursion and duality (Q1346768): Difference between revisions

@@ Property / cites work @@
+Q3917476
@@ Property / cites work: Q3917476 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+On correct refinement of programs
@@ Property / cites work: On correct refinement of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657408
@@ Property / cites work: Q3657408 / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest precondition calculus: Recursion and duality
+Normal rank
@@ Property / cites work @@
+A simple fixpoint argument without the restriction to continuity
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate-transformer semantics of general recursion
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Q4109269
@@ Property / cites work: Q4109269 / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of weakest preconditions
@@ Property / cites work: A characterization of weakest preconditions / rank @@
+Normal rank