loop variant

decreasing function used to proof termination of a loop

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

श्रेणियाँ:

decreasing function