Pages that link to "Item:Q1664391"
From MaRDI portal
The following pages link to Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs (Q1664391):
Displaying 6 items.
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- The matrix reproved (verification pearl) (Q1703015) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Matrix Code (Q2441509) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)