The following pages link to Bottom-Up Shape Analysis (Q3392926):
Displaying 10 items.
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- Ball-Based Shape Processing (Q3000683) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- (Q4006740) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308432) (← links)
- Compositional Shape Analysis by Means of Bi-Abduction (Q5395670) (← links)