Data Refinement of Invariant Based Programs (Q2994494): Difference between revisions

@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding, decoding and data refinement
@@ Property / cites work: Encoding, decoding and data refinement / rank @@
+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 @@
+Q4398780
@@ Property / cites work: Q4398780 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving pointer programs in higher-order logic
@@ Property / cites work: Proving pointer programs in higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+An efficient machine-independent procedure for garbage collection in various list structures
+Normal rank