Verifying programs by induction on their data structure: general format and applications (Q1050765): Difference between revisions

@@ Property / author @@
-Ali Milli
@@ Property / author: Ali Milli / rank @@
-Normal rank
@@ Property / author @@
+Ali Milli
@@ Property / author: Ali Milli / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138082
@@ Property / cites work: Q4138082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054648
@@ Property / cites work: Q4054648 / rank @@
+Normal rank
@@ Property / cites work @@
+The Universal Field of Fractions of a Semifir I. Numerators and Denominators
+Normal rank
@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Is Sometimes Ever Better Than Always?
@@ Property / cites work: Is Sometimes Ever Better Than Always? / 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 @@
+Formalization of Properties of Functional Programs
+Normal rank
@@ Property / cites work @@
+Is “sometime” sometimes better than “always”?
+Normal rank
@@ Property / cites work @@
+Q5639300
@@ Property / cites work: Q5639300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4136512
@@ Property / cites work: Q4136512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686039
@@ Property / cites work: Q5686039 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for proving total correctness of goto-programs
+Normal rank