postconditions
- lemme
-
- forme de postcondition nom commun
- forme
Prononciation et analyses de « postconditions » 1 analyse
| lemme | catégorie | analyse | prononciation | fréq. |
|---|---|---|---|---|
| postcondition | nom commun | pluriel féminin | pɔst.kɔ̃.di.sjɔ̃[z] |
Formes, analyses, prononciation et fréquences : base LeXiK (B, noyau). Fréquences en occurrences par million de mots (sous-titres) ; la fréquence d'une analyse est la part de cette analyse dans les corpus étiquetés, celle d'un lemme la somme de ses analyses.
Lemmes dont « postconditions » est une forme
Définitions de « postcondition » nom commun · féminin
pluriel : postconditions
« postconditions » est une forme de ce lemme : pluriel féminin.
Formes de « postcondition » 2 : postcondition, postconditions
- postcondition pɔst.kɔ̃.di.sjɔ̃[n] singulier féminin
- postconditions pɔst.kɔ̃.di.sjɔ̃[z] pluriel féminin
nom commun · féminin
Étymologie. dérivé de condition, avec le préfixe post-.
-
mathématiques
Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
- La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
-
programmation
En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
- Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.
- antonymes
- précondition
- hyperonymes
- programmation par contrat
Traductions
- Italien
- postcondizione
Source : « postcondition », Wiktionnaire, section nom commun (CC BY-SA 3.0).
Aucune entité Wikidata ne porte ce nom.