Pages that link to "Item:Q5408536"
From MaRDI portal
The following pages link to A parametric segmentation functor for fully automatic and scalable array content analysis (Q5408536):
Displayed 16 items.
- FunArray (Q25620) (← links)
- Inferring complete initialization of arrays (Q383356) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- The map equality domain (Q1629967) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
- Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056) (← links)
- A Scalable Segmented Decision Tree Abstract Domain (Q3587252) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)