français
postcondition
Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une
Donnée du Wiktionnaire, non revue
Histoire
Ascendance
Reconstituée depuis les relations enregistrées, sans reformuler le texte du Wiktionnaire
lien vérifiéconfirmé par deux sources indépendantesune seule source
L’ascendance en liste
- condition « Nature, état ou qualité d’une chose ou d’une personne. » (français) → postcondition (français) : formé ; une seule source
- condition (moyen français) → condition (français) : une seule source
- condicio « Condition, situation, état, sort, qualité, manière d’être. » (latin) → condition (français) : hérité ; une seule source
- condicere (latin) → condicio (latin) : formé ; une seule source
- dico « Dédier, consacrer, vouer (à une divinité). » (latin) → condicere (latin) : formé ; une seule source
- forme reconstruite deikō (italique commun) → dico (latin) : hérité ; une seule source
- français condition — d’après le Wiktionnaire
Cognats
Mots d’autres langues issus du même étymon
- kondicionalocode de langue eoConditionnel.
- kondisyoncode de langue htCondition.
- condiționaroumain
Familles
Tous les mots qui descendent des mêmes étymons que postcondition
Le Wiktionnaire
Texte de l’article du Wiktionnaire, cité tel quel
dérivé de condition, avec le préfixe post-.
Wiktionnaire, article « postcondition » — CC BY-SA
Résumé
Composé à partir des relations enregistrées, sans reformuler le texte du Wiktionnaire
Dérivé de condition, « Nature, état ou qualité d’une chose ou d’une personne », du latin condicio, « Condition, situation, état, sort, qualité, manière d’être », dérivé de condicere.
Définitions
- 2 En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution
Descendance
Mots formés à partir de postcondition
Aucun mot dérivé dans les données.
Sources
Chercher dans : TLFi · FEW · Académie française (nouvel onglet) (Source : www.dictionnaire-academie.fr)