ループ不変 ふへん しき
rūpufuhenshikino

Noun
Da Copula

Attributive form: modifies a following noun of ループ不変式

1. Loop invariant.

Attributive
Computing