A calculus of loop invariants for dense linear algebra optimization
Loop invariants have traditionally been used in proofs of correctness (e.g. program verification) and program derivation. Given that a loop invariant is all that is required to derive a provably correct program, the loop invariant can be thought of as being the essence of a loop. Being the essence o...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en_US |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/22974 |