loop invariant

invariants used to prove properties of loops

en-GB/ˈluːp ɪnˈvɛəɹɪənt/
en-US/ˈlup ˌɪnˈvɛɹiənt/

分类：

invariant