précondition

Définitions

1. 1. Condition appliquée au début d’un calcul et permettant de valider le résultat d’une fonction mathématique.
2. 2. En programmation, propriété attachée à une fonction et vérifiée au début de l’exécution de cette fonction.

Antonymes

Formes fléchies