loop-invariant computation - Inglés Sinónimo Diccionario