Programs as partial graphs. I: Flow equivalence and correctness (Q1168723): Difference between revisions

@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+Q5649409
@@ Property / cites work: Q5649409 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q5626272
@@ Property / cites work: Q5626272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677070
@@ Property / cites work: Q5677070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4403707
@@ Property / cites work: Q4403707 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / 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 @@
+Some Properties of Predicate Transformers
@@ Property / cites work: Some Properties of Predicate Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+On matrix program schemes
@@ Property / cites work: On matrix program schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+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 @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Relations binaires, fermetures, correspondances de Galois
+Normal rank
@@ Property / cites work @@
+Q4184276
@@ Property / cites work: Q4184276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190104
@@ Property / cites work: Q4190104 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. II: Recursion
@@ Property / cites work: Programs as partial graphs. II: Recursion / rank @@
+Normal rank