Pages that link to "Item:Q3612011"
From MaRDI portal
The following pages link to Arithmetic Strengthening for Shape Analysis (Q3612011):
Displaying 6 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- On the almighty wand (Q418137) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- On the Almighty Wand (Q3540188) (← links)
