Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407): Difference between revisions

@@ Property / OpenAlex ID @@
+W174943245
@@ Property / OpenAlex ID: W174943245 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
+Normal rank
@@ Property / cites work @@
+Specification Patterns and Proofs for Recursion through the Store
+Normal rank
@@ Property / cites work @@
+An observationally complete program logic for imperative higher-order functions
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Shape and Size Properties Via Separation Logic
+Normal rank
@@ Property / cites work @@
+Certified assembly programming with embedded code pointers
+Normal rank
@@ Property / cites work @@
+Nested Hoare Triples and Frame Rules for Higher-Order Store
+Normal rank
@@ Property / cites work @@
+A Semantic Foundation for Hidden State
@@ Property / cites work: A Semantic Foundation for Hidden State / rank @@
+Normal rank