Pages that link to "Item:Q5308431"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308431):
Displayed 6 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Summarized Dimensions Revisited (Q5170183) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)