The following pages link to Bottom-Up Shape Analysis (Q3392926):
Displaying 6 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)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
