Pages that link to "Item:Q3656882"
From MaRDI portal
The following pages link to Invariant and Type Inference for Matrices (Q3656882):
Displaying 4 items.
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- MATRIX TYPES WITH DETERMINANTS IN LINEAR FACTORED FORMS (Q3191489) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)