Pages that link to "Item:Q5408542"
From MaRDI portal
The following pages link to Calling context abstraction with shapes (Q5408542):
Displaying 3 items.
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (Q2891398) (← links)
