Pages that link to "Item:Q1791274"
From MaRDI portal
The following pages link to Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274):
Displaying 5 items.
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs (Q1664391) (← links)
- Matrix Code (Q2441509) (← links)
- Computing with abstract matrix structures (Q2883836) (← links)
- Analyzing mathematical programs using MProbe (Q5959311) (← links)