The following pages link to Static Analysis (Q5466571):
Displaying 10 items.
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- A first-order language for expressing sharing and type properties of logic programs (Q1595252) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- Aliasing Control in an Imperative Pure Calculus (Q3460909) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)