The following pages link to Shape analysis of sets (Q2917408):
Displaying 5 items.
- A Shape Analysis for Non-linear Data Structures (Q4930728) (← links)
- (Q5075730) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
- Static Analysis (Q5466563) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711506) (← links)