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

@@ Property / Wikidata QID @@
+Q56504619
@@ Property / Wikidata QID: Q56504619 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01213603
+Normal rank
@@ Property / OpenAlex ID @@
+W2012569382
@@ Property / OpenAlex ID: W2012569382 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1346768