Lightweight Separation (Q3543659): Difference between revisions

@@ Property / cites work @@
+Separation Logic for Small-Step cminor
@@ Property / cites work: Separation Logic for Small-Step cminor / rank @@
+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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721096
@@ Property / cites work: Q2721096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674963
@@ Property / cites work: Q5674963 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474211
@@ Property / cites work: Q4474211 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Interprocedural Shape Analysis with Separated Heap Abstractions
+Normal rank
@@ Property / cites work @@
+Axiomatic approach to side effects and general jumps
+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 @@
+Automated Verification of Shape and Size Properties Via Separation Logic
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808824
@@ Property / cites work: Q4808824 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of C systems code. Structured types, separation logic and theorem proving
+Normal rank
@@ Property / cites work @@
+Types, bytes, and separation logic
@@ Property / cites work: Types, bytes, and separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank