A Hoare Logic for the State Monad (Q3183544): Difference between revisions

@@ Property / cites work @@
+Secure Microkernels, State Monads and Scalable Refinement
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / 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 @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphism and separation in hoare type theory
@@ Property / cites work: Polymorphism and separation in hoare type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ynot
@@ Property / cites work: Ynot / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Coercions in Coq
@@ Property / cites work: Subset Coercions in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols
+Normal rank