loop invariant

invariants used to prove properties of loops

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

Категорії:

invariant