Data refinement, call by value and higher order programs (Q1906039): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816229
@@ Property / cites work: Q3816229 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive data types for predicate transformers
@@ Property / cites work: Inductive data types for predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic construction of predicate transformers
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385534
@@ Property / cites work: Q4385534 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of data refinement
@@ Property / cites work: Laws of data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate transformers and higher-order programs
@@ Property / cites work: Predicate transformers and higher-order programs / rank @@
+Normal rank
@@ Property / cites work @@
+A recursion theorem for predicate transformers on inductive data types
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank