Reasoning about memory layouts (Q633298): Difference between revisions

@@ Property / cites work @@
+Q5674963
@@ Property / cites work: Q5674963 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight Separation
@@ Property / cites work: Lightweight Separation / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about memory layouts
@@ Property / cites work: Reasoning about memory layouts / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721096
@@ Property / cites work: Q2721096 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalisation of Smallfoot in HOL
@@ Property / cites work: A Formalisation of Smallfoot in HOL / 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 @@
+Verification of the Schorr-Waite Algorithm – From Trees to Graphs
+Normal rank
@@ Property / cites work @@
+Context Aware Calculation and Deduction
@@ Property / cites work: Context Aware Calculation and Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Local Theory Specifications in Isabelle/Isar
@@ Property / cites work: Local Theory Specifications in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of practical garbage collectors
+Normal rank
@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective interactive proofs for higher-order imperative programs
+Normal rank