Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704): Difference between revisions

@@ Property / cites work @@
+Q4124296
@@ Property / cites work: Q4124296 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes
+Normal rank
@@ Property / cites work @@
+Q5679697
@@ Property / cites work: Q5679697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Q4113375
@@ Property / cites work: Q4113375 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160373
@@ Property / cites work: Q4160373 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Q4125728
@@ Property / cites work: Q4125728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622195
@@ Property / cites work: Q5622195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160382
@@ Property / cites work: Q4160382 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+The correctness of nondeterministic programs
@@ Property / cites work: The correctness of nondeterministic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Properties of Functional Programs
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Is “sometime” sometimes better than “always”?
+Normal rank