Pages that link to "Item:Q3558225"
From MaRDI portal
The following pages link to Fluid Updates: Beyond Strong vs. Weak Updates (Q3558225):
Displaying 9 items.
- Decision procedures for flat array properties (Q287272) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
- Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Proving Safety with Trace Automata and Bounded Model Checking (Q5206955) (← links)