Traduction de "cas d'arrêt" en anglais [Résolu]

[ManusDei]

Bonjour,

pour mon stage, on m'a demandé de commenter mon code en anglais.

J'ai une fonction récursive avec pattern-matching, et je tiens à indiquer en commentaire quel est le cas d'arrêt.
Sauf que je ne sais absolument pas comment on dit "cas d'arrêt" en anglais.
Pour l'instant ce que j'ai trouvé de mieux c'est "terminal state", mais est-ce que quelqu'un connaît le terme "officiel" ?

[gasche]

J'ai souvent vu "halting case". Tu peux aussi dire "recursion halt".

[ManusDei]

je vais prendre recursion halt, il me parle bien

Merci

[SpiceGuid]

Envoyé par ManusDei

J'ai une fonction récursive avec pattern-matching, et je tiens à indiquer en commentaire quel est le cas d'arrêt.
Pour l'instant ce que j'ai trouvé de mieux c'est "terminal state", mais est-ce que quelqu'un connaît le terme "officiel" ?

Le commentaire doit être de plus haut niveau que le code sinon c'est de la redite.
Le code donne l'algo.
Le commentaire donne la preuve de l'algo.
La preuve commence par son(ses) initial case(s).
Elle se poursuit par le(s) inductive step(s).

@bluestorm
Pourquoi te contenter de donner une simple réponse alors que tu es mieux placé que moi pour balayer l'incompétence qui se cache derrière les questions ?

[ManusDei]

Sauf que là j'utilise un langage quasiment inconnu des gens qui pourraient avoir à le retoucher plus tard (même si ça reste du fonctionnel).

Donc autant leur faciliter la vie, et rajouter des détails "techniques".

Au delà d'indiquer simplement quel est le cas d'arrêt, j'indique également pourquoi c'est le cas d'arrêt, et l'algo est décrit (j'ai juste voulu faire vite, vu que je voulais simplement la traduction d'un terme).