Pages that link to "Item:Q5429321"

The following pages link to Shape Analysis for Composite Data Structures (Q5429321):

Displaying 27 items.

• Formal study of functional orbits in finite domains (Q483296) (← links)
• Programs with lists are counter automata (Q537953) (← links)
• Reasoning about memory layouts (Q633298) (← links)
• Reasoning about sequences of memory states (Q636268) (← links)
• Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
• Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
• Lightweight shape analysis based on physical types (Q2152652) (← links)
• Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
• Forest automata for verification of heap manipulation (Q2441715) (← links)
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
• Tractable Reasoning in a Fragment of Separation Logic (Q3090833) (← links)
• A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673) (← links)
• Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
• Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
• Scalable Shape Analysis for Systems Code (Q3512506) (← links)
• Lightweight Separation (Q3543659) (← links)
• (Q4006740) (← links)
• A Shape Analysis for Non-linear Data Structures (Q4930728) (← links)
• Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
• (Q4994692) (← links)
• Linear capabilities for fully abstract compilation of separation-logic-verified code (Q5016209) (← links)
• Footprints in Local Reasoning (Q5458360) (← links)
• Non-disjunctive Numerical Domain for Array Predicate Abstraction (Q5458394) (← links)
• Separation Logic Tutorial (Q5504642) (← links)
• A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
• Program Verification with Separation Logic (Q5883571) (← links)
• Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)