The following pages link to Static Analysis (Q5466571):
Displayed 6 items.
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)